{ "schema": "marici.strominger.reference-port-binding.v1", "verification_status": "pass", "checks": [ "pinned-software-checks-pass", "source-protocol-checks-pass", "reference-and-inverse-match-without-rescaling", "boundary-and-source-history-retained", "same-reference-different-lifecycle-retained", "existing-port-attachment-identical/(0, False)", "comparison-decodes-unchanged/(0, False)", "port-reference-decodes-to-source-bound-reference/(0, False)", "existing-port-attachment-identical/(0, True)", "comparison-decodes-unchanged/(0, True)", "port-reference-decodes-to-source-bound-reference/(0, True)", "existing-port-attachment-identical/(1, False)", "comparison-decodes-unchanged/(1, False)", "port-reference-decodes-to-source-bound-reference/(1, False)", "existing-port-attachment-identical/(1, True)", "comparison-decodes-unchanged/(1, True)", "port-reference-decodes-to-source-bound-reference/(1, True)", "existing-port-attachment-identical/(2, False)", "comparison-decodes-unchanged/(2, False)", "port-reference-decodes-to-source-bound-reference/(2, False)", "existing-port-attachment-identical/(2, True)", "comparison-decodes-unchanged/(2, True)", "port-reference-decodes-to-source-bound-reference/(2, True)", "existing-port-attachment-identical/(3, False)", "comparison-decodes-unchanged/(3, False)", "port-reference-decodes-to-source-bound-reference/(3, False)", "existing-port-attachment-identical/(3, True)", "comparison-decodes-unchanged/(3, True)", "port-reference-decodes-to-source-bound-reference/(3, True)", "existing-port-attachment-identical/(4, False)", "comparison-decodes-unchanged/(4, False)", "port-reference-decodes-to-source-bound-reference/(4, False)", "existing-port-attachment-identical/(4, True)", "comparison-decodes-unchanged/(4, True)", "port-reference-decodes-to-source-bound-reference/(4, True)", "existing-port-attachment-identical/(5, False)", "comparison-decodes-unchanged/(5, False)", "port-reference-decodes-to-source-bound-reference/(5, False)", "existing-port-attachment-identical/(5, True)", "comparison-decodes-unchanged/(5, True)", "port-reference-decodes-to-source-bound-reference/(5, True)", "existing-port-attachment-identical/(6, False)", "comparison-decodes-unchanged/(6, False)", "port-reference-decodes-to-source-bound-reference/(6, False)", "existing-port-attachment-identical/(6, True)", "comparison-decodes-unchanged/(6, True)", "port-reference-decodes-to-source-bound-reference/(6, True)", "existing-port-attachment-identical/(7, False)", "comparison-decodes-unchanged/(7, False)", "port-reference-decodes-to-source-bound-reference/(7, False)", "existing-port-attachment-identical/(7, True)", "comparison-decodes-unchanged/(7, True)", "port-reference-decodes-to-source-bound-reference/(7, True)", "existing-port-attachment-identical/(8, False)", "comparison-decodes-unchanged/(8, False)", "port-reference-decodes-to-source-bound-reference/(8, False)", "existing-port-attachment-identical/(8, True)", "comparison-decodes-unchanged/(8, True)", "port-reference-decodes-to-source-bound-reference/(8, True)", "existing-port-attachment-identical/(9, False)", "comparison-decodes-unchanged/(9, False)", "port-reference-decodes-to-source-bound-reference/(9, False)", "existing-port-attachment-identical/(9, True)", "comparison-decodes-unchanged/(9, True)", "port-reference-decodes-to-source-bound-reference/(9, True)", "existing-port-attachment-identical/(10, False)", "comparison-decodes-unchanged/(10, False)", "port-reference-decodes-to-source-bound-reference/(10, False)", "existing-port-attachment-identical/(10, True)", "comparison-decodes-unchanged/(10, True)", "port-reference-decodes-to-source-bound-reference/(10, True)", "existing-port-attachment-identical/(11, False)", "comparison-decodes-unchanged/(11, False)", "port-reference-decodes-to-source-bound-reference/(11, False)", "existing-port-attachment-identical/(11, True)", "comparison-decodes-unchanged/(11, True)", "port-reference-decodes-to-source-bound-reference/(11, True)", "existing-port-attachment-identical/(12, False)", "comparison-decodes-unchanged/(12, False)", "port-reference-decodes-to-source-bound-reference/(12, False)", "existing-port-attachment-identical/(12, True)", "comparison-decodes-unchanged/(12, True)", "port-reference-decodes-to-source-bound-reference/(12, True)", "existing-port-attachment-identical/(13, False)", "comparison-decodes-unchanged/(13, False)", "port-reference-decodes-to-source-bound-reference/(13, False)", "existing-port-attachment-identical/(13, True)", "comparison-decodes-unchanged/(13, True)", "port-reference-decodes-to-source-bound-reference/(13, True)", "existing-port-attachment-identical/(14, False)", "comparison-decodes-unchanged/(14, False)", "port-reference-decodes-to-source-bound-reference/(14, False)", "existing-port-attachment-identical/(14, True)", "comparison-decodes-unchanged/(14, True)", "port-reference-decodes-to-source-bound-reference/(14, True)", "existing-port-attachment-identical/(15, False)", "comparison-decodes-unchanged/(15, False)", "port-reference-decodes-to-source-bound-reference/(15, False)", "existing-port-attachment-identical/(15, True)", "comparison-decodes-unchanged/(15, True)", "port-reference-decodes-to-source-bound-reference/(15, True)", "existing-port-attachment-identical/(16, False)", "comparison-decodes-unchanged/(16, False)", "port-reference-decodes-to-source-bound-reference/(16, False)", "existing-port-attachment-identical/(16, True)", "comparison-decodes-unchanged/(16, True)", "port-reference-decodes-to-source-bound-reference/(16, True)", "existing-port-attachment-identical/(17, False)", "comparison-decodes-unchanged/(17, False)", "port-reference-decodes-to-source-bound-reference/(17, False)", "existing-port-attachment-identical/(17, True)", "comparison-decodes-unchanged/(17, True)", "port-reference-decodes-to-source-bound-reference/(17, True)", "existing-port-attachment-identical/(18, False)", "comparison-decodes-unchanged/(18, False)", "port-reference-decodes-to-source-bound-reference/(18, False)", "existing-port-attachment-identical/(18, True)", "comparison-decodes-unchanged/(18, True)", "port-reference-decodes-to-source-bound-reference/(18, True)", "existing-port-attachment-identical/(19, False)", "comparison-decodes-unchanged/(19, False)", "port-reference-decodes-to-source-bound-reference/(19, False)", "existing-port-attachment-identical/(19, True)", "comparison-decodes-unchanged/(19, True)", "port-reference-decodes-to-source-bound-reference/(19, True)", "existing-port-attachment-identical/(20, False)", "comparison-decodes-unchanged/(20, False)", "port-reference-decodes-to-source-bound-reference/(20, False)", "existing-port-attachment-identical/(20, True)", "comparison-decodes-unchanged/(20, True)", "port-reference-decodes-to-source-bound-reference/(20, True)", "existing-port-attachment-identical/(21, False)", "comparison-decodes-unchanged/(21, False)", "port-reference-decodes-to-source-bound-reference/(21, False)", "existing-port-attachment-identical/(21, True)", "comparison-decodes-unchanged/(21, True)", "port-reference-decodes-to-source-bound-reference/(21, True)", "existing-port-attachment-identical/(22, False)", "comparison-decodes-unchanged/(22, False)", "port-reference-decodes-to-source-bound-reference/(22, False)", "existing-port-attachment-identical/(22, True)", "comparison-decodes-unchanged/(22, True)", "port-reference-decodes-to-source-bound-reference/(22, True)", "existing-port-attachment-identical/(23, False)", "comparison-decodes-unchanged/(23, False)", "port-reference-decodes-to-source-bound-reference/(23, False)", "existing-port-attachment-identical/(23, True)", "comparison-decodes-unchanged/(23, True)", "port-reference-decodes-to-source-bound-reference/(23, True)", "existing-port-attachment-identical/(24, False)", "comparison-decodes-unchanged/(24, False)", "port-reference-decodes-to-source-bound-reference/(24, False)", "existing-port-attachment-identical/(24, True)", "comparison-decodes-unchanged/(24, True)", "port-reference-decodes-to-source-bound-reference/(24, True)", "existing-port-attachment-identical/(25, False)", "comparison-decodes-unchanged/(25, False)", "port-reference-decodes-to-source-bound-reference/(25, False)", "existing-port-attachment-identical/(25, True)", "comparison-decodes-unchanged/(25, True)", "port-reference-decodes-to-source-bound-reference/(25, True)", "existing-port-attachment-identical/(26, False)", "comparison-decodes-unchanged/(26, False)", "port-reference-decodes-to-source-bound-reference/(26, False)", "existing-port-attachment-identical/(26, True)", "comparison-decodes-unchanged/(26, True)", "port-reference-decodes-to-source-bound-reference/(26, True)", "existing-port-attachment-identical/(27, False)", "comparison-decodes-unchanged/(27, False)", "port-reference-decodes-to-source-bound-reference/(27, False)", "existing-port-attachment-identical/(27, True)", "comparison-decodes-unchanged/(27, True)", "port-reference-decodes-to-source-bound-reference/(27, True)", "existing-port-attachment-identical/(28, False)", "comparison-decodes-unchanged/(28, False)", "port-reference-decodes-to-source-bound-reference/(28, False)", "existing-port-attachment-identical/(28, True)", "comparison-decodes-unchanged/(28, True)", "port-reference-decodes-to-source-bound-reference/(28, True)", "existing-port-attachment-identical/(29, False)", "comparison-decodes-unchanged/(29, False)", "port-reference-decodes-to-source-bound-reference/(29, False)", "existing-port-attachment-identical/(29, True)", "comparison-decodes-unchanged/(29, True)", "port-reference-decodes-to-source-bound-reference/(29, True)", "existing-port-attachment-identical/(30, False)", "comparison-decodes-unchanged/(30, False)", "port-reference-decodes-to-source-bound-reference/(30, False)", "existing-port-attachment-identical/(30, True)", "comparison-decodes-unchanged/(30, True)", "port-reference-decodes-to-source-bound-reference/(30, True)", "existing-port-attachment-identical/(31, False)", "comparison-decodes-unchanged/(31, False)", "port-reference-decodes-to-source-bound-reference/(31, False)", "existing-port-attachment-identical/(31, True)", "comparison-decodes-unchanged/(31, True)", "port-reference-decodes-to-source-bound-reference/(31, True)", "existing-port-attachment-identical/(32, False)", "comparison-decodes-unchanged/(32, False)", "port-reference-decodes-to-source-bound-reference/(32, False)", "existing-port-attachment-identical/(32, True)", "comparison-decodes-unchanged/(32, True)", "port-reference-decodes-to-source-bound-reference/(32, True)", "existing-port-attachment-identical/(33, False)", "comparison-decodes-unchanged/(33, False)", "port-reference-decodes-to-source-bound-reference/(33, False)", "existing-port-attachment-identical/(33, True)", "comparison-decodes-unchanged/(33, True)", "port-reference-decodes-to-source-bound-reference/(33, True)", "existing-port-attachment-identical/(34, False)", "comparison-decodes-unchanged/(34, False)", "port-reference-decodes-to-source-bound-reference/(34, False)", "existing-port-attachment-identical/(34, True)", "comparison-decodes-unchanged/(34, True)", "port-reference-decodes-to-source-bound-reference/(34, True)", "existing-port-attachment-identical/(35, False)", "comparison-decodes-unchanged/(35, False)", "port-reference-decodes-to-source-bound-reference/(35, False)", "existing-port-attachment-identical/(35, True)", "comparison-decodes-unchanged/(35, True)", "port-reference-decodes-to-source-bound-reference/(35, True)", "existing-port-attachment-identical/(36, False)", "comparison-decodes-unchanged/(36, False)", "port-reference-decodes-to-source-bound-reference/(36, False)", "existing-port-attachment-identical/(36, True)", "comparison-decodes-unchanged/(36, True)", "port-reference-decodes-to-source-bound-reference/(36, True)", "existing-port-attachment-identical/(37, False)", "comparison-decodes-unchanged/(37, False)", "port-reference-decodes-to-source-bound-reference/(37, False)", "existing-port-attachment-identical/(37, True)", "comparison-decodes-unchanged/(37, True)", "port-reference-decodes-to-source-bound-reference/(37, True)", "existing-port-attachment-identical/(38, False)", "comparison-decodes-unchanged/(38, False)", "port-reference-decodes-to-source-bound-reference/(38, False)", "existing-port-attachment-identical/(38, True)", "comparison-decodes-unchanged/(38, True)", "port-reference-decodes-to-source-bound-reference/(38, True)", "existing-port-attachment-identical/(39, False)", "comparison-decodes-unchanged/(39, False)", "port-reference-decodes-to-source-bound-reference/(39, False)", "existing-port-attachment-identical/(39, True)", "comparison-decodes-unchanged/(39, True)", "port-reference-decodes-to-source-bound-reference/(39, True)", "existing-port-attachment-identical/(40, False)", "comparison-decodes-unchanged/(40, False)", "port-reference-decodes-to-source-bound-reference/(40, False)", "existing-port-attachment-identical/(40, True)", "comparison-decodes-unchanged/(40, True)", "port-reference-decodes-to-source-bound-reference/(40, True)", "existing-port-attachment-identical/(41, False)", "comparison-decodes-unchanged/(41, False)", "port-reference-decodes-to-source-bound-reference/(41, False)", "existing-port-attachment-identical/(41, True)", "comparison-decodes-unchanged/(41, True)", "port-reference-decodes-to-source-bound-reference/(41, True)", "existing-port-attachment-identical/(42, False)", "comparison-decodes-unchanged/(42, False)", "port-reference-decodes-to-source-bound-reference/(42, False)", "existing-port-attachment-identical/(42, True)", "comparison-decodes-unchanged/(42, True)", "port-reference-decodes-to-source-bound-reference/(42, True)", "existing-port-attachment-identical/(43, False)", "comparison-decodes-unchanged/(43, False)", "port-reference-decodes-to-source-bound-reference/(43, False)", "existing-port-attachment-identical/(43, True)", "comparison-decodes-unchanged/(43, True)", "port-reference-decodes-to-source-bound-reference/(43, True)", "existing-port-attachment-identical/(44, False)", "comparison-decodes-unchanged/(44, False)", "port-reference-decodes-to-source-bound-reference/(44, False)", "existing-port-attachment-identical/(44, True)", "comparison-decodes-unchanged/(44, True)", "port-reference-decodes-to-source-bound-reference/(44, True)", "existing-port-attachment-identical/(45, False)", "comparison-decodes-unchanged/(45, False)", "port-reference-decodes-to-source-bound-reference/(45, False)", "existing-port-attachment-identical/(45, True)", "comparison-decodes-unchanged/(45, True)", "port-reference-decodes-to-source-bound-reference/(45, True)", "existing-port-attachment-identical/(46, False)", "comparison-decodes-unchanged/(46, False)", "port-reference-decodes-to-source-bound-reference/(46, False)", "existing-port-attachment-identical/(46, True)", "comparison-decodes-unchanged/(46, True)", "port-reference-decodes-to-source-bound-reference/(46, True)", "existing-port-attachment-identical/(47, False)", "comparison-decodes-unchanged/(47, False)", "port-reference-decodes-to-source-bound-reference/(47, False)", "existing-port-attachment-identical/(47, True)", "comparison-decodes-unchanged/(47, True)", "port-reference-decodes-to-source-bound-reference/(47, True)", "existing-port-attachment-identical/(48, False)", "comparison-decodes-unchanged/(48, False)", "port-reference-decodes-to-source-bound-reference/(48, False)", "existing-port-attachment-identical/(48, True)", "comparison-decodes-unchanged/(48, True)", "port-reference-decodes-to-source-bound-reference/(48, True)", "existing-port-attachment-identical/(49, False)", "comparison-decodes-unchanged/(49, False)", "port-reference-decodes-to-source-bound-reference/(49, False)", "existing-port-attachment-identical/(49, True)", "comparison-decodes-unchanged/(49, True)", "port-reference-decodes-to-source-bound-reference/(49, True)", "existing-port-attachment-identical/(50, False)", "comparison-decodes-unchanged/(50, False)", "port-reference-decodes-to-source-bound-reference/(50, False)", "existing-port-attachment-identical/(50, True)", "comparison-decodes-unchanged/(50, True)", "port-reference-decodes-to-source-bound-reference/(50, True)", "existing-port-attachment-identical/(51, False)", "comparison-decodes-unchanged/(51, False)", "port-reference-decodes-to-source-bound-reference/(51, False)", "existing-port-attachment-identical/(51, True)", "comparison-decodes-unchanged/(51, True)", "port-reference-decodes-to-source-bound-reference/(51, True)", "existing-port-attachment-identical/(52, False)", "comparison-decodes-unchanged/(52, False)", "port-reference-decodes-to-source-bound-reference/(52, False)", "existing-port-attachment-identical/(52, True)", "comparison-decodes-unchanged/(52, True)", "port-reference-decodes-to-source-bound-reference/(52, True)", "existing-port-attachment-identical/(53, False)", "comparison-decodes-unchanged/(53, False)", "port-reference-decodes-to-source-bound-reference/(53, False)", "existing-port-attachment-identical/(53, True)", "comparison-decodes-unchanged/(53, True)", "port-reference-decodes-to-source-bound-reference/(53, True)", "existing-port-attachment-identical/(54, False)", "comparison-decodes-unchanged/(54, False)", "port-reference-decodes-to-source-bound-reference/(54, False)", "existing-port-attachment-identical/(54, True)", "comparison-decodes-unchanged/(54, True)", "port-reference-decodes-to-source-bound-reference/(54, True)", "existing-port-attachment-identical/(55, False)", "comparison-decodes-unchanged/(55, False)", "port-reference-decodes-to-source-bound-reference/(55, False)", "existing-port-attachment-identical/(55, True)", "comparison-decodes-unchanged/(55, True)", "port-reference-decodes-to-source-bound-reference/(55, True)", "existing-port-attachment-identical/(56, False)", "comparison-decodes-unchanged/(56, False)", "port-reference-decodes-to-source-bound-reference/(56, False)", "existing-port-attachment-identical/(56, True)", "comparison-decodes-unchanged/(56, True)", "port-reference-decodes-to-source-bound-reference/(56, True)", "existing-port-attachment-identical/(57, False)", "comparison-decodes-unchanged/(57, False)", "port-reference-decodes-to-source-bound-reference/(57, False)", "existing-port-attachment-identical/(57, True)", "comparison-decodes-unchanged/(57, True)", "port-reference-decodes-to-source-bound-reference/(57, True)", "existing-port-attachment-identical/(58, False)", "comparison-decodes-unchanged/(58, False)", "port-reference-decodes-to-source-bound-reference/(58, False)", "existing-port-attachment-identical/(58, True)", "comparison-decodes-unchanged/(58, True)", "port-reference-decodes-to-source-bound-reference/(58, True)", "existing-port-attachment-identical/(59, False)", "comparison-decodes-unchanged/(59, False)", "port-reference-decodes-to-source-bound-reference/(59, False)", "existing-port-attachment-identical/(59, True)", "comparison-decodes-unchanged/(59, True)", "port-reference-decodes-to-source-bound-reference/(59, True)", "existing-port-attachment-identical/(60, False)", "comparison-decodes-unchanged/(60, False)", "port-reference-decodes-to-source-bound-reference/(60, False)", "existing-port-attachment-identical/(60, True)", "comparison-decodes-unchanged/(60, True)", "port-reference-decodes-to-source-bound-reference/(60, True)", "existing-port-attachment-identical/(61, False)", "comparison-decodes-unchanged/(61, False)", "port-reference-decodes-to-source-bound-reference/(61, False)", "existing-port-attachment-identical/(61, True)", "comparison-decodes-unchanged/(61, True)", "port-reference-decodes-to-source-bound-reference/(61, True)", "existing-port-attachment-identical/(62, False)", "comparison-decodes-unchanged/(62, False)", "port-reference-decodes-to-source-bound-reference/(62, False)", "existing-port-attachment-identical/(62, True)", "comparison-decodes-unchanged/(62, True)", "port-reference-decodes-to-source-bound-reference/(62, True)", "existing-port-attachment-identical/(63, False)", "comparison-decodes-unchanged/(63, False)", "port-reference-decodes-to-source-bound-reference/(63, False)", "existing-port-attachment-identical/(63, True)", "comparison-decodes-unchanged/(63, True)", "port-reference-decodes-to-source-bound-reference/(63, True)", "existing-port-attachment-identical/(64, False)", "comparison-decodes-unchanged/(64, False)", "port-reference-decodes-to-source-bound-reference/(64, False)", "existing-port-attachment-identical/(64, True)", "comparison-decodes-unchanged/(64, True)", "port-reference-decodes-to-source-bound-reference/(64, True)", "existing-port-attachment-identical/(65, False)", "comparison-decodes-unchanged/(65, False)", "port-reference-decodes-to-source-bound-reference/(65, False)", "existing-port-attachment-identical/(65, True)", "comparison-decodes-unchanged/(65, True)", "port-reference-decodes-to-source-bound-reference/(65, True)", "existing-port-attachment-identical/(66, False)", "comparison-decodes-unchanged/(66, False)", "port-reference-decodes-to-source-bound-reference/(66, False)", "existing-port-attachment-identical/(66, True)", "comparison-decodes-unchanged/(66, True)", "port-reference-decodes-to-source-bound-reference/(66, True)", "existing-port-attachment-identical/(67, False)", "comparison-decodes-unchanged/(67, False)", "port-reference-decodes-to-source-bound-reference/(67, False)", "existing-port-attachment-identical/(67, True)", "comparison-decodes-unchanged/(67, True)", "port-reference-decodes-to-source-bound-reference/(67, True)", "existing-port-attachment-identical/(68, False)", "comparison-decodes-unchanged/(68, False)", "port-reference-decodes-to-source-bound-reference/(68, False)", "existing-port-attachment-identical/(68, True)", "comparison-decodes-unchanged/(68, True)", "port-reference-decodes-to-source-bound-reference/(68, True)", "existing-port-attachment-identical/(69, False)", "comparison-decodes-unchanged/(69, False)", "port-reference-decodes-to-source-bound-reference/(69, False)", "existing-port-attachment-identical/(69, True)", "comparison-decodes-unchanged/(69, True)", "port-reference-decodes-to-source-bound-reference/(69, True)", "existing-port-attachment-identical/(70, False)", "comparison-decodes-unchanged/(70, False)", "port-reference-decodes-to-source-bound-reference/(70, False)", "existing-port-attachment-identical/(70, True)", "comparison-decodes-unchanged/(70, True)", "port-reference-decodes-to-source-bound-reference/(70, True)", "existing-port-attachment-identical/(71, False)", "comparison-decodes-unchanged/(71, False)", "port-reference-decodes-to-source-bound-reference/(71, False)", "existing-port-attachment-identical/(71, True)", "comparison-decodes-unchanged/(71, True)", "port-reference-decodes-to-source-bound-reference/(71, True)", "existing-port-attachment-identical/(72, False)", "comparison-decodes-unchanged/(72, False)", "port-reference-decodes-to-source-bound-reference/(72, False)", "existing-port-attachment-identical/(72, True)", "comparison-decodes-unchanged/(72, True)", "port-reference-decodes-to-source-bound-reference/(72, True)", "existing-port-attachment-identical/(73, False)", "comparison-decodes-unchanged/(73, False)", "port-reference-decodes-to-source-bound-reference/(73, False)", "existing-port-attachment-identical/(73, True)", "comparison-decodes-unchanged/(73, True)", "port-reference-decodes-to-source-bound-reference/(73, True)", "existing-port-attachment-identical/(74, False)", "comparison-decodes-unchanged/(74, False)", "port-reference-decodes-to-source-bound-reference/(74, False)", "existing-port-attachment-identical/(74, True)", "comparison-decodes-unchanged/(74, True)", "port-reference-decodes-to-source-bound-reference/(74, True)", "existing-port-attachment-identical/(75, False)", "comparison-decodes-unchanged/(75, False)", "port-reference-decodes-to-source-bound-reference/(75, False)", "existing-port-attachment-identical/(75, True)", "comparison-decodes-unchanged/(75, True)", "port-reference-decodes-to-source-bound-reference/(75, True)", "existing-port-attachment-identical/(76, False)", "comparison-decodes-unchanged/(76, False)", "port-reference-decodes-to-source-bound-reference/(76, False)", "existing-port-attachment-identical/(76, True)", "comparison-decodes-unchanged/(76, True)", "port-reference-decodes-to-source-bound-reference/(76, True)", "existing-port-attachment-identical/(77, False)", "comparison-decodes-unchanged/(77, False)", "port-reference-decodes-to-source-bound-reference/(77, False)", "existing-port-attachment-identical/(77, True)", "comparison-decodes-unchanged/(77, True)", "port-reference-decodes-to-source-bound-reference/(77, True)", "existing-port-attachment-identical/(78, False)", "comparison-decodes-unchanged/(78, False)", "port-reference-decodes-to-source-bound-reference/(78, False)", "existing-port-attachment-identical/(78, True)", "comparison-decodes-unchanged/(78, True)", "port-reference-decodes-to-source-bound-reference/(78, True)", "existing-port-attachment-identical/(79, False)", "comparison-decodes-unchanged/(79, False)", "port-reference-decodes-to-source-bound-reference/(79, False)", "existing-port-attachment-identical/(79, True)", "comparison-decodes-unchanged/(79, True)", "port-reference-decodes-to-source-bound-reference/(79, True)", "existing-port-attachment-identical/(80, False)", "comparison-decodes-unchanged/(80, False)", "port-reference-decodes-to-source-bound-reference/(80, False)", "existing-port-attachment-identical/(80, True)", "comparison-decodes-unchanged/(80, True)", "port-reference-decodes-to-source-bound-reference/(80, True)", "existing-port-attachment-identical/(81, False)", "comparison-decodes-unchanged/(81, False)", "port-reference-decodes-to-source-bound-reference/(81, False)", "existing-port-attachment-identical/(81, True)", "comparison-decodes-unchanged/(81, True)", "port-reference-decodes-to-source-bound-reference/(81, True)", "existing-port-attachment-identical/(82, False)", "comparison-decodes-unchanged/(82, False)", "port-reference-decodes-to-source-bound-reference/(82, False)", "existing-port-attachment-identical/(82, True)", "comparison-decodes-unchanged/(82, True)", "port-reference-decodes-to-source-bound-reference/(82, True)", "existing-port-attachment-identical/(83, False)", "comparison-decodes-unchanged/(83, False)", "port-reference-decodes-to-source-bound-reference/(83, False)", "existing-port-attachment-identical/(83, True)", "comparison-decodes-unchanged/(83, True)", "port-reference-decodes-to-source-bound-reference/(83, True)", "existing-port-attachment-identical/(84, False)", "comparison-decodes-unchanged/(84, False)", "port-reference-decodes-to-source-bound-reference/(84, False)", "existing-port-attachment-identical/(84, True)", "comparison-decodes-unchanged/(84, True)", "port-reference-decodes-to-source-bound-reference/(84, True)", "existing-port-attachment-identical/(85, False)", "comparison-decodes-unchanged/(85, False)", "port-reference-decodes-to-source-bound-reference/(85, False)", "existing-port-attachment-identical/(85, True)", "comparison-decodes-unchanged/(85, True)", "port-reference-decodes-to-source-bound-reference/(85, True)", "existing-port-attachment-identical/(86, False)", "comparison-decodes-unchanged/(86, False)", "port-reference-decodes-to-source-bound-reference/(86, False)", "existing-port-attachment-identical/(86, True)", "comparison-decodes-unchanged/(86, True)", "port-reference-decodes-to-source-bound-reference/(86, True)", "existing-port-attachment-identical/(87, False)", "comparison-decodes-unchanged/(87, False)", "port-reference-decodes-to-source-bound-reference/(87, False)", "existing-port-attachment-identical/(87, True)", "comparison-decodes-unchanged/(87, True)", "port-reference-decodes-to-source-bound-reference/(87, True)", "existing-port-attachment-identical/(88, False)", "comparison-decodes-unchanged/(88, False)", "port-reference-decodes-to-source-bound-reference/(88, False)", "existing-port-attachment-identical/(88, True)", "comparison-decodes-unchanged/(88, True)", "port-reference-decodes-to-source-bound-reference/(88, True)", "existing-port-attachment-identical/(89, False)", "comparison-decodes-unchanged/(89, False)", "port-reference-decodes-to-source-bound-reference/(89, False)", "existing-port-attachment-identical/(89, True)", "comparison-decodes-unchanged/(89, True)", "port-reference-decodes-to-source-bound-reference/(89, True)", "existing-port-attachment-identical/(90, False)", "comparison-decodes-unchanged/(90, False)", "port-reference-decodes-to-source-bound-reference/(90, False)", "existing-port-attachment-identical/(90, True)", "comparison-decodes-unchanged/(90, True)", "port-reference-decodes-to-source-bound-reference/(90, True)", "existing-port-attachment-identical/(91, False)", "comparison-decodes-unchanged/(91, False)", "port-reference-decodes-to-source-bound-reference/(91, False)", "existing-port-attachment-identical/(91, True)", "comparison-decodes-unchanged/(91, True)", "port-reference-decodes-to-source-bound-reference/(91, True)", "existing-port-attachment-identical/(92, False)", "comparison-decodes-unchanged/(92, False)", "port-reference-decodes-to-source-bound-reference/(92, False)", "existing-port-attachment-identical/(92, True)", "comparison-decodes-unchanged/(92, True)", "port-reference-decodes-to-source-bound-reference/(92, True)", "existing-port-attachment-identical/(93, False)", "comparison-decodes-unchanged/(93, False)", "port-reference-decodes-to-source-bound-reference/(93, False)", "existing-port-attachment-identical/(93, True)", "comparison-decodes-unchanged/(93, True)", "port-reference-decodes-to-source-bound-reference/(93, True)", "existing-port-attachment-identical/(94, False)", "comparison-decodes-unchanged/(94, False)", "port-reference-decodes-to-source-bound-reference/(94, False)", "existing-port-attachment-identical/(94, True)", "comparison-decodes-unchanged/(94, True)", "port-reference-decodes-to-source-bound-reference/(94, True)", "existing-port-attachment-identical/(95, False)", "comparison-decodes-unchanged/(95, False)", "port-reference-decodes-to-source-bound-reference/(95, False)", "existing-port-attachment-identical/(95, True)", "comparison-decodes-unchanged/(95, True)", "port-reference-decodes-to-source-bound-reference/(95, True)", "existing-port-attachment-identical/(96, False)", "comparison-decodes-unchanged/(96, False)", "port-reference-decodes-to-source-bound-reference/(96, False)", "existing-port-attachment-identical/(96, True)", "comparison-decodes-unchanged/(96, True)", "port-reference-decodes-to-source-bound-reference/(96, True)", "existing-port-attachment-identical/(97, False)", "comparison-decodes-unchanged/(97, False)", "port-reference-decodes-to-source-bound-reference/(97, False)", "existing-port-attachment-identical/(97, True)", "comparison-decodes-unchanged/(97, True)", "port-reference-decodes-to-source-bound-reference/(97, True)", "existing-port-attachment-identical/(98, False)", "comparison-decodes-unchanged/(98, False)", "port-reference-decodes-to-source-bound-reference/(98, False)", "existing-port-attachment-identical/(98, True)", "comparison-decodes-unchanged/(98, True)", "port-reference-decodes-to-source-bound-reference/(98, True)", "existing-port-attachment-identical/(99, False)", "comparison-decodes-unchanged/(99, False)", "port-reference-decodes-to-source-bound-reference/(99, False)", "existing-port-attachment-identical/(99, True)", "comparison-decodes-unchanged/(99, True)", "port-reference-decodes-to-source-bound-reference/(99, True)", "existing-port-attachment-identical/(100, False)", "comparison-decodes-unchanged/(100, False)", "port-reference-decodes-to-source-bound-reference/(100, False)", "existing-port-attachment-identical/(100, True)", "comparison-decodes-unchanged/(100, True)", "port-reference-decodes-to-source-bound-reference/(100, True)", "existing-port-attachment-identical/(101, False)", "comparison-decodes-unchanged/(101, False)", "port-reference-decodes-to-source-bound-reference/(101, False)", "existing-port-attachment-identical/(101, True)", "comparison-decodes-unchanged/(101, True)", "port-reference-decodes-to-source-bound-reference/(101, True)", "existing-port-attachment-identical/(102, False)", "comparison-decodes-unchanged/(102, False)", "port-reference-decodes-to-source-bound-reference/(102, False)", "existing-port-attachment-identical/(102, True)", "comparison-decodes-unchanged/(102, True)", "port-reference-decodes-to-source-bound-reference/(102, True)", "existing-port-attachment-identical/(103, False)", "comparison-decodes-unchanged/(103, False)", "port-reference-decodes-to-source-bound-reference/(103, False)", "existing-port-attachment-identical/(103, True)", "comparison-decodes-unchanged/(103, True)", "port-reference-decodes-to-source-bound-reference/(103, True)", "existing-port-attachment-identical/(104, False)", "comparison-decodes-unchanged/(104, False)", "port-reference-decodes-to-source-bound-reference/(104, False)", "existing-port-attachment-identical/(104, True)", "comparison-decodes-unchanged/(104, True)", "port-reference-decodes-to-source-bound-reference/(104, True)", "existing-port-attachment-identical/(105, False)", "comparison-decodes-unchanged/(105, False)", "port-reference-decodes-to-source-bound-reference/(105, False)", "existing-port-attachment-identical/(105, True)", "comparison-decodes-unchanged/(105, True)", "port-reference-decodes-to-source-bound-reference/(105, True)", "existing-port-attachment-identical/(106, False)", "comparison-decodes-unchanged/(106, False)", "port-reference-decodes-to-source-bound-reference/(106, False)", "existing-port-attachment-identical/(106, True)", "comparison-decodes-unchanged/(106, True)", "port-reference-decodes-to-source-bound-reference/(106, True)", "existing-port-attachment-identical/(107, False)", "comparison-decodes-unchanged/(107, False)", "port-reference-decodes-to-source-bound-reference/(107, False)", "existing-port-attachment-identical/(107, True)", "comparison-decodes-unchanged/(107, True)", "port-reference-decodes-to-source-bound-reference/(107, True)", "existing-port-attachment-identical/(108, False)", "comparison-decodes-unchanged/(108, False)", "port-reference-decodes-to-source-bound-reference/(108, False)", "existing-port-attachment-identical/(108, True)", "comparison-decodes-unchanged/(108, True)", "port-reference-decodes-to-source-bound-reference/(108, True)", "existing-port-attachment-identical/(109, False)", "comparison-decodes-unchanged/(109, False)", "port-reference-decodes-to-source-bound-reference/(109, False)", "existing-port-attachment-identical/(109, True)", "comparison-decodes-unchanged/(109, True)", "port-reference-decodes-to-source-bound-reference/(109, True)", "existing-port-attachment-identical/(110, False)", "comparison-decodes-unchanged/(110, False)", "port-reference-decodes-to-source-bound-reference/(110, False)", "existing-port-attachment-identical/(110, True)", "comparison-decodes-unchanged/(110, True)", "port-reference-decodes-to-source-bound-reference/(110, True)", "existing-port-attachment-identical/(111, False)", "comparison-decodes-unchanged/(111, False)", "port-reference-decodes-to-source-bound-reference/(111, False)", "existing-port-attachment-identical/(111, True)", "comparison-decodes-unchanged/(111, True)", "port-reference-decodes-to-source-bound-reference/(111, True)", "existing-port-attachment-identical/(112, False)", "comparison-decodes-unchanged/(112, False)", "port-reference-decodes-to-source-bound-reference/(112, False)", "existing-port-attachment-identical/(112, True)", "comparison-decodes-unchanged/(112, True)", "port-reference-decodes-to-source-bound-reference/(112, True)", "existing-port-attachment-identical/(113, False)", "comparison-decodes-unchanged/(113, False)", "port-reference-decodes-to-source-bound-reference/(113, False)", "existing-port-attachment-identical/(113, True)", "comparison-decodes-unchanged/(113, True)", "port-reference-decodes-to-source-bound-reference/(113, True)", "existing-port-attachment-identical/(114, False)", "comparison-decodes-unchanged/(114, False)", "port-reference-decodes-to-source-bound-reference/(114, False)", "existing-port-attachment-identical/(114, True)", "comparison-decodes-unchanged/(114, True)", "port-reference-decodes-to-source-bound-reference/(114, True)", "existing-port-attachment-identical/(115, False)", "comparison-decodes-unchanged/(115, False)", "port-reference-decodes-to-source-bound-reference/(115, False)", "existing-port-attachment-identical/(115, True)", "comparison-decodes-unchanged/(115, True)", "port-reference-decodes-to-source-bound-reference/(115, True)", "existing-port-attachment-identical/(116, False)", "comparison-decodes-unchanged/(116, False)", "port-reference-decodes-to-source-bound-reference/(116, False)", "existing-port-attachment-identical/(116, True)", "comparison-decodes-unchanged/(116, True)", "port-reference-decodes-to-source-bound-reference/(116, True)", "existing-port-attachment-identical/(117, False)", "comparison-decodes-unchanged/(117, False)", "port-reference-decodes-to-source-bound-reference/(117, False)", "existing-port-attachment-identical/(117, True)", "comparison-decodes-unchanged/(117, True)", "port-reference-decodes-to-source-bound-reference/(117, True)", "existing-port-attachment-identical/(118, False)", "comparison-decodes-unchanged/(118, False)", "port-reference-decodes-to-source-bound-reference/(118, False)", "existing-port-attachment-identical/(118, True)", "comparison-decodes-unchanged/(118, True)", "port-reference-decodes-to-source-bound-reference/(118, True)", "existing-port-attachment-identical/(119, False)", "comparison-decodes-unchanged/(119, False)", "port-reference-decodes-to-source-bound-reference/(119, False)", "existing-port-attachment-identical/(119, True)", "comparison-decodes-unchanged/(119, True)", "port-reference-decodes-to-source-bound-reference/(119, True)", "existing-port-attachment-identical/(120, False)", "comparison-decodes-unchanged/(120, False)", "port-reference-decodes-to-source-bound-reference/(120, False)", "existing-port-attachment-identical/(120, True)", "comparison-decodes-unchanged/(120, True)", "port-reference-decodes-to-source-bound-reference/(120, True)", "existing-port-attachment-identical/(121, False)", "comparison-decodes-unchanged/(121, False)", "port-reference-decodes-to-source-bound-reference/(121, False)", "existing-port-attachment-identical/(121, True)", "comparison-decodes-unchanged/(121, True)", "port-reference-decodes-to-source-bound-reference/(121, True)", "existing-port-attachment-identical/(122, False)", "comparison-decodes-unchanged/(122, False)", "port-reference-decodes-to-source-bound-reference/(122, False)", "existing-port-attachment-identical/(122, True)", "comparison-decodes-unchanged/(122, True)", "port-reference-decodes-to-source-bound-reference/(122, True)", "existing-port-attachment-identical/(123, False)", "comparison-decodes-unchanged/(123, False)", "port-reference-decodes-to-source-bound-reference/(123, False)", "existing-port-attachment-identical/(123, True)", "comparison-decodes-unchanged/(123, True)", "port-reference-decodes-to-source-bound-reference/(123, True)", "existing-port-attachment-identical/(124, False)", "comparison-decodes-unchanged/(124, False)", "port-reference-decodes-to-source-bound-reference/(124, False)", "existing-port-attachment-identical/(124, True)", "comparison-decodes-unchanged/(124, True)", "port-reference-decodes-to-source-bound-reference/(124, True)", "existing-port-attachment-identical/(125, False)", "comparison-decodes-unchanged/(125, False)", "port-reference-decodes-to-source-bound-reference/(125, False)", "existing-port-attachment-identical/(125, True)", "comparison-decodes-unchanged/(125, True)", "port-reference-decodes-to-source-bound-reference/(125, True)", "existing-port-attachment-identical/(126, False)", "comparison-decodes-unchanged/(126, False)", "port-reference-decodes-to-source-bound-reference/(126, False)", "existing-port-attachment-identical/(126, True)", "comparison-decodes-unchanged/(126, True)", "port-reference-decodes-to-source-bound-reference/(126, True)", "existing-port-attachment-identical/(127, False)", "comparison-decodes-unchanged/(127, False)", "port-reference-decodes-to-source-bound-reference/(127, False)", "existing-port-attachment-identical/(127, True)", "comparison-decodes-unchanged/(127, True)", "port-reference-decodes-to-source-bound-reference/(127, True)", "existing-port-attachment-identical/(128, False)", "comparison-decodes-unchanged/(128, False)", "port-reference-decodes-to-source-bound-reference/(128, False)", "existing-port-attachment-identical/(128, True)", "comparison-decodes-unchanged/(128, True)", "port-reference-decodes-to-source-bound-reference/(128, True)", "existing-port-attachment-identical/(129, False)", "comparison-decodes-unchanged/(129, False)", "port-reference-decodes-to-source-bound-reference/(129, False)", "existing-port-attachment-identical/(129, True)", "comparison-decodes-unchanged/(129, True)", "port-reference-decodes-to-source-bound-reference/(129, True)", "existing-port-attachment-identical/(130, False)", "comparison-decodes-unchanged/(130, False)", "port-reference-decodes-to-source-bound-reference/(130, False)", "existing-port-attachment-identical/(130, True)", "comparison-decodes-unchanged/(130, True)", "port-reference-decodes-to-source-bound-reference/(130, True)", "existing-port-attachment-identical/(131, False)", "comparison-decodes-unchanged/(131, False)", "port-reference-decodes-to-source-bound-reference/(131, False)", "existing-port-attachment-identical/(131, True)", "comparison-decodes-unchanged/(131, True)", "port-reference-decodes-to-source-bound-reference/(131, True)", "existing-port-attachment-identical/(132, False)", "comparison-decodes-unchanged/(132, False)", "port-reference-decodes-to-source-bound-reference/(132, False)", "existing-port-attachment-identical/(132, True)", "comparison-decodes-unchanged/(132, True)", "port-reference-decodes-to-source-bound-reference/(132, True)", "existing-port-attachment-identical/(133, False)", "comparison-decodes-unchanged/(133, False)", "port-reference-decodes-to-source-bound-reference/(133, False)", "existing-port-attachment-identical/(133, True)", "comparison-decodes-unchanged/(133, True)", "port-reference-decodes-to-source-bound-reference/(133, True)", "existing-port-attachment-identical/(134, False)", "comparison-decodes-unchanged/(134, False)", "port-reference-decodes-to-source-bound-reference/(134, False)", "existing-port-attachment-identical/(134, True)", "comparison-decodes-unchanged/(134, True)", "port-reference-decodes-to-source-bound-reference/(134, True)", "existing-port-attachment-identical/(135, False)", "comparison-decodes-unchanged/(135, False)", "port-reference-decodes-to-source-bound-reference/(135, False)", "existing-port-attachment-identical/(135, True)", "comparison-decodes-unchanged/(135, True)", "port-reference-decodes-to-source-bound-reference/(135, True)", "existing-port-attachment-identical/(136, False)", "comparison-decodes-unchanged/(136, False)", "port-reference-decodes-to-source-bound-reference/(136, False)", "existing-port-attachment-identical/(136, True)", "comparison-decodes-unchanged/(136, True)", "port-reference-decodes-to-source-bound-reference/(136, True)", "existing-port-attachment-identical/(137, False)", "comparison-decodes-unchanged/(137, False)", "port-reference-decodes-to-source-bound-reference/(137, False)", "existing-port-attachment-identical/(137, True)", "comparison-decodes-unchanged/(137, True)", "port-reference-decodes-to-source-bound-reference/(137, True)", "existing-port-attachment-identical/(138, False)", "comparison-decodes-unchanged/(138, False)", "port-reference-decodes-to-source-bound-reference/(138, False)", "existing-port-attachment-identical/(138, True)", "comparison-decodes-unchanged/(138, True)", "port-reference-decodes-to-source-bound-reference/(138, True)", "existing-port-attachment-identical/(139, False)", "comparison-decodes-unchanged/(139, False)", "port-reference-decodes-to-source-bound-reference/(139, False)", "existing-port-attachment-identical/(139, True)", "comparison-decodes-unchanged/(139, True)", "port-reference-decodes-to-source-bound-reference/(139, True)", "existing-port-attachment-identical/(140, False)", "comparison-decodes-unchanged/(140, False)", "port-reference-decodes-to-source-bound-reference/(140, False)", "existing-port-attachment-identical/(140, True)", "comparison-decodes-unchanged/(140, True)", "port-reference-decodes-to-source-bound-reference/(140, True)", "existing-port-attachment-identical/(141, False)", "comparison-decodes-unchanged/(141, False)", "port-reference-decodes-to-source-bound-reference/(141, False)", "existing-port-attachment-identical/(141, True)", "comparison-decodes-unchanged/(141, True)", "port-reference-decodes-to-source-bound-reference/(141, True)", "existing-port-attachment-identical/(142, False)", "comparison-decodes-unchanged/(142, False)", "port-reference-decodes-to-source-bound-reference/(142, False)", "existing-port-attachment-identical/(142, True)", "comparison-decodes-unchanged/(142, True)", "port-reference-decodes-to-source-bound-reference/(142, True)", "existing-port-attachment-identical/(143, False)", "comparison-decodes-unchanged/(143, False)", "port-reference-decodes-to-source-bound-reference/(143, False)", "existing-port-attachment-identical/(143, True)", "comparison-decodes-unchanged/(143, True)", "port-reference-decodes-to-source-bound-reference/(143, True)", "existing-port-attachment-identical/(144, False)", "comparison-decodes-unchanged/(144, False)", "port-reference-decodes-to-source-bound-reference/(144, False)", "existing-port-attachment-identical/(144, True)", "comparison-decodes-unchanged/(144, True)", "port-reference-decodes-to-source-bound-reference/(144, True)", "existing-port-attachment-identical/(145, False)", "comparison-decodes-unchanged/(145, False)", "port-reference-decodes-to-source-bound-reference/(145, False)", "existing-port-attachment-identical/(145, True)", "comparison-decodes-unchanged/(145, True)", "port-reference-decodes-to-source-bound-reference/(145, True)", "existing-port-attachment-identical/(146, False)", "comparison-decodes-unchanged/(146, False)", "port-reference-decodes-to-source-bound-reference/(146, False)", "existing-port-attachment-identical/(146, True)", "comparison-decodes-unchanged/(146, True)", "port-reference-decodes-to-source-bound-reference/(146, True)", "existing-port-attachment-identical/(147, False)", "comparison-decodes-unchanged/(147, False)", "port-reference-decodes-to-source-bound-reference/(147, False)", "existing-port-attachment-identical/(147, True)", "comparison-decodes-unchanged/(147, True)", "port-reference-decodes-to-source-bound-reference/(147, True)", "existing-port-attachment-identical/(148, False)", "comparison-decodes-unchanged/(148, False)", "port-reference-decodes-to-source-bound-reference/(148, False)", "existing-port-attachment-identical/(148, True)", "comparison-decodes-unchanged/(148, True)", "port-reference-decodes-to-source-bound-reference/(148, True)", "existing-port-attachment-identical/(149, False)", "comparison-decodes-unchanged/(149, False)", "port-reference-decodes-to-source-bound-reference/(149, False)", "existing-port-attachment-identical/(149, True)", "comparison-decodes-unchanged/(149, True)", "port-reference-decodes-to-source-bound-reference/(149, True)", "existing-port-attachment-identical/(150, False)", "comparison-decodes-unchanged/(150, False)", "port-reference-decodes-to-source-bound-reference/(150, False)", "existing-port-attachment-identical/(150, True)", "comparison-decodes-unchanged/(150, True)", "port-reference-decodes-to-source-bound-reference/(150, True)", "existing-port-attachment-identical/(151, False)", "comparison-decodes-unchanged/(151, False)", "port-reference-decodes-to-source-bound-reference/(151, False)", "existing-port-attachment-identical/(151, True)", "comparison-decodes-unchanged/(151, True)", "port-reference-decodes-to-source-bound-reference/(151, True)", "existing-port-attachment-identical/(152, False)", "comparison-decodes-unchanged/(152, False)", "port-reference-decodes-to-source-bound-reference/(152, False)", "existing-port-attachment-identical/(152, True)", "comparison-decodes-unchanged/(152, True)", "port-reference-decodes-to-source-bound-reference/(152, True)", "existing-port-attachment-identical/(153, False)", "comparison-decodes-unchanged/(153, False)", "port-reference-decodes-to-source-bound-reference/(153, False)", "existing-port-attachment-identical/(153, True)", "comparison-decodes-unchanged/(153, True)", "port-reference-decodes-to-source-bound-reference/(153, True)", "existing-port-attachment-identical/(154, False)", "comparison-decodes-unchanged/(154, False)", "port-reference-decodes-to-source-bound-reference/(154, False)", "existing-port-attachment-identical/(154, True)", "comparison-decodes-unchanged/(154, True)", "port-reference-decodes-to-source-bound-reference/(154, True)", "existing-port-attachment-identical/(155, False)", "comparison-decodes-unchanged/(155, False)", "port-reference-decodes-to-source-bound-reference/(155, False)", "existing-port-attachment-identical/(155, True)", "comparison-decodes-unchanged/(155, True)", "port-reference-decodes-to-source-bound-reference/(155, True)", "existing-port-attachment-identical/(156, False)", "comparison-decodes-unchanged/(156, False)", "port-reference-decodes-to-source-bound-reference/(156, False)", "existing-port-attachment-identical/(156, True)", "comparison-decodes-unchanged/(156, True)", "port-reference-decodes-to-source-bound-reference/(156, True)", "existing-port-attachment-identical/(157, False)", "comparison-decodes-unchanged/(157, False)", "port-reference-decodes-to-source-bound-reference/(157, False)", "existing-port-attachment-identical/(157, True)", "comparison-decodes-unchanged/(157, True)", "port-reference-decodes-to-source-bound-reference/(157, True)", "existing-port-attachment-identical/(158, False)", "comparison-decodes-unchanged/(158, False)", "port-reference-decodes-to-source-bound-reference/(158, False)", "existing-port-attachment-identical/(158, True)", "comparison-decodes-unchanged/(158, True)", "port-reference-decodes-to-source-bound-reference/(158, True)", "existing-port-attachment-identical/(159, False)", "comparison-decodes-unchanged/(159, False)", "port-reference-decodes-to-source-bound-reference/(159, False)", "existing-port-attachment-identical/(159, True)", "comparison-decodes-unchanged/(159, True)", "port-reference-decodes-to-source-bound-reference/(159, True)", "existing-port-attachment-identical/(160, False)", "comparison-decodes-unchanged/(160, False)", "port-reference-decodes-to-source-bound-reference/(160, False)", "existing-port-attachment-identical/(160, True)", "comparison-decodes-unchanged/(160, True)", "port-reference-decodes-to-source-bound-reference/(160, True)", "existing-port-attachment-identical/(161, False)", "comparison-decodes-unchanged/(161, False)", "port-reference-decodes-to-source-bound-reference/(161, False)", "existing-port-attachment-identical/(161, True)", "comparison-decodes-unchanged/(161, True)", "port-reference-decodes-to-source-bound-reference/(161, True)", "existing-port-attachment-identical/(162, False)", "comparison-decodes-unchanged/(162, False)", "port-reference-decodes-to-source-bound-reference/(162, False)", "existing-port-attachment-identical/(162, True)", "comparison-decodes-unchanged/(162, True)", "port-reference-decodes-to-source-bound-reference/(162, True)", "existing-port-attachment-identical/(163, False)", "comparison-decodes-unchanged/(163, False)", "port-reference-decodes-to-source-bound-reference/(163, False)", "existing-port-attachment-identical/(163, True)", "comparison-decodes-unchanged/(163, True)", "port-reference-decodes-to-source-bound-reference/(163, True)", "existing-port-attachment-identical/(164, False)", "comparison-decodes-unchanged/(164, False)", "port-reference-decodes-to-source-bound-reference/(164, False)", "existing-port-attachment-identical/(164, True)", "comparison-decodes-unchanged/(164, True)", "port-reference-decodes-to-source-bound-reference/(164, True)", "existing-port-attachment-identical/(165, False)", "comparison-decodes-unchanged/(165, False)", "port-reference-decodes-to-source-bound-reference/(165, False)", "existing-port-attachment-identical/(165, True)", "comparison-decodes-unchanged/(165, True)", "port-reference-decodes-to-source-bound-reference/(165, True)", "existing-port-attachment-identical/(166, False)", "comparison-decodes-unchanged/(166, False)", "port-reference-decodes-to-source-bound-reference/(166, False)", "existing-port-attachment-identical/(166, True)", "comparison-decodes-unchanged/(166, True)", "port-reference-decodes-to-source-bound-reference/(166, True)", "existing-port-attachment-identical/(167, False)", "comparison-decodes-unchanged/(167, False)", "port-reference-decodes-to-source-bound-reference/(167, False)", "existing-port-attachment-identical/(167, True)", "comparison-decodes-unchanged/(167, True)", "port-reference-decodes-to-source-bound-reference/(167, True)", "existing-port-attachment-identical/(168, False)", "comparison-decodes-unchanged/(168, False)", "port-reference-decodes-to-source-bound-reference/(168, False)", "existing-port-attachment-identical/(168, True)", "comparison-decodes-unchanged/(168, True)", "port-reference-decodes-to-source-bound-reference/(168, True)", "all-original-compositions-with-source-bound-reference/(('leaf', 0), ('leaf', 0))", "all-original-compositions-with-source-bound-reference/(('leaf', 0), ('leaf', 3))", "all-original-compositions-with-source-bound-reference/(('leaf', 0), ('leaf', 10))", "all-original-compositions-with-source-bound-reference/(('leaf', 0), ('leaf', 33))", "all-original-compositions-with-source-bound-reference/(('leaf', 0), ('leaf', 36))", "all-original-compositions-with-source-bound-reference/(('leaf', 0), ('leaf', 43))", "all-original-compositions-with-source-bound-reference/(('leaf', 0), ('leaf', 110))", "all-original-compositions-with-source-bound-reference/(('leaf', 0), ('leaf', 113))", "all-original-compositions-with-source-bound-reference/(('leaf', 0), ('leaf', 120))", "all-original-compositions-with-source-bound-reference/(('leaf', 3), ('leaf', 0))", "all-original-compositions-with-source-bound-reference/(('leaf', 3), ('leaf', 3))", "all-original-compositions-with-source-bound-reference/(('leaf', 3), ('leaf', 10))", "all-original-compositions-with-source-bound-reference/(('leaf', 3), ('leaf', 33))", "all-original-compositions-with-source-bound-reference/(('leaf', 3), ('leaf', 36))", "all-original-compositions-with-source-bound-reference/(('leaf', 3), ('leaf', 43))", "all-original-compositions-with-source-bound-reference/(('leaf', 3), ('leaf', 110))", "all-original-compositions-with-source-bound-reference/(('leaf', 3), ('leaf', 113))", "all-original-compositions-with-source-bound-reference/(('leaf', 3), ('leaf', 120))", "all-original-compositions-with-source-bound-reference/(('leaf', 10), ('leaf', 0))", "all-original-compositions-with-source-bound-reference/(('leaf', 10), ('leaf', 3))", "all-original-compositions-with-source-bound-reference/(('leaf', 10), ('leaf', 10))", "all-original-compositions-with-source-bound-reference/(('leaf', 10), ('leaf', 33))", "all-original-compositions-with-source-bound-reference/(('leaf', 10), ('leaf', 36))", "all-original-compositions-with-source-bound-reference/(('leaf', 10), ('leaf', 43))", "all-original-compositions-with-source-bound-reference/(('leaf', 10), ('leaf', 110))", "all-original-compositions-with-source-bound-reference/(('leaf', 10), ('leaf', 113))", "all-original-compositions-with-source-bound-reference/(('leaf', 10), ('leaf', 120))", "all-original-compositions-with-source-bound-reference/(('leaf', 33), ('leaf', 0))", "all-original-compositions-with-source-bound-reference/(('leaf', 33), ('leaf', 3))", "all-original-compositions-with-source-bound-reference/(('leaf', 33), ('leaf', 10))", "all-original-compositions-with-source-bound-reference/(('leaf', 33), ('leaf', 33))", "all-original-compositions-with-source-bound-reference/(('leaf', 33), ('leaf', 36))", "all-original-compositions-with-source-bound-reference/(('leaf', 33), ('leaf', 43))", "all-original-compositions-with-source-bound-reference/(('leaf', 33), ('leaf', 110))", "all-original-compositions-with-source-bound-reference/(('leaf', 33), ('leaf', 113))", "all-original-compositions-with-source-bound-reference/(('leaf', 33), ('leaf', 120))", "all-original-compositions-with-source-bound-reference/(('leaf', 36), ('leaf', 0))", "all-original-compositions-with-source-bound-reference/(('leaf', 36), ('leaf', 3))", "all-original-compositions-with-source-bound-reference/(('leaf', 36), ('leaf', 10))", "all-original-compositions-with-source-bound-reference/(('leaf', 36), ('leaf', 33))", "all-original-compositions-with-source-bound-reference/(('leaf', 36), ('leaf', 36))", "all-original-compositions-with-source-bound-reference/(('leaf', 36), ('leaf', 43))", "all-original-compositions-with-source-bound-reference/(('leaf', 36), ('leaf', 110))", "all-original-compositions-with-source-bound-reference/(('leaf', 36), ('leaf', 113))", "all-original-compositions-with-source-bound-reference/(('leaf', 36), ('leaf', 120))", "all-original-compositions-with-source-bound-reference/(('leaf', 43), ('leaf', 0))", "all-original-compositions-with-source-bound-reference/(('leaf', 43), ('leaf', 3))", "all-original-compositions-with-source-bound-reference/(('leaf', 43), ('leaf', 10))", "all-original-compositions-with-source-bound-reference/(('leaf', 43), ('leaf', 33))", "all-original-compositions-with-source-bound-reference/(('leaf', 43), ('leaf', 36))", "all-original-compositions-with-source-bound-reference/(('leaf', 43), ('leaf', 43))", "all-original-compositions-with-source-bound-reference/(('leaf', 43), ('leaf', 110))", "all-original-compositions-with-source-bound-reference/(('leaf', 43), ('leaf', 113))", "all-original-compositions-with-source-bound-reference/(('leaf', 43), ('leaf', 120))", "all-original-compositions-with-source-bound-reference/(('leaf', 110), ('leaf', 0))", "all-original-compositions-with-source-bound-reference/(('leaf', 110), ('leaf', 3))", "all-original-compositions-with-source-bound-reference/(('leaf', 110), ('leaf', 10))", "all-original-compositions-with-source-bound-reference/(('leaf', 110), ('leaf', 33))", "all-original-compositions-with-source-bound-reference/(('leaf', 110), ('leaf', 36))", "all-original-compositions-with-source-bound-reference/(('leaf', 110), ('leaf', 43))", "all-original-compositions-with-source-bound-reference/(('leaf', 110), ('leaf', 110))", "all-original-compositions-with-source-bound-reference/(('leaf', 110), ('leaf', 113))", "all-original-compositions-with-source-bound-reference/(('leaf', 110), ('leaf', 120))", "all-original-compositions-with-source-bound-reference/(('leaf', 113), ('leaf', 0))", "all-original-compositions-with-source-bound-reference/(('leaf', 113), ('leaf', 3))", "all-original-compositions-with-source-bound-reference/(('leaf', 113), ('leaf', 10))", "all-original-compositions-with-source-bound-reference/(('leaf', 113), ('leaf', 33))", "all-original-compositions-with-source-bound-reference/(('leaf', 113), ('leaf', 36))", "all-original-compositions-with-source-bound-reference/(('leaf', 113), ('leaf', 43))", "all-original-compositions-with-source-bound-reference/(('leaf', 113), ('leaf', 110))", "all-original-compositions-with-source-bound-reference/(('leaf', 113), ('leaf', 113))", "all-original-compositions-with-source-bound-reference/(('leaf', 113), ('leaf', 120))", "all-original-compositions-with-source-bound-reference/(('leaf', 120), ('leaf', 0))", "all-original-compositions-with-source-bound-reference/(('leaf', 120), ('leaf', 3))", "all-original-compositions-with-source-bound-reference/(('leaf', 120), ('leaf', 10))", "all-original-compositions-with-source-bound-reference/(('leaf', 120), ('leaf', 33))", "all-original-compositions-with-source-bound-reference/(('leaf', 120), ('leaf', 36))", "all-original-compositions-with-source-bound-reference/(('leaf', 120), ('leaf', 43))", "all-original-compositions-with-source-bound-reference/(('leaf', 120), ('leaf', 110))", "all-original-compositions-with-source-bound-reference/(('leaf', 120), ('leaf', 113))", "all-original-compositions-with-source-bound-reference/(('leaf', 120), ('leaf', 120))", "all-original-compositions-with-source-bound-reference/(('leaf', 1), ('leaf', 1))", "all-original-compositions-with-source-bound-reference/(('leaf', 1), ('leaf', 4))", "all-original-compositions-with-source-bound-reference/(('leaf', 1), ('leaf', 7))", "all-original-compositions-with-source-bound-reference/(('leaf', 1), ('leaf', 34))", "all-original-compositions-with-source-bound-reference/(('leaf', 1), ('leaf', 37))", "all-original-compositions-with-source-bound-reference/(('leaf', 1), ('leaf', 40))", "all-original-compositions-with-source-bound-reference/(('leaf', 1), ('leaf', 111))", "all-original-compositions-with-source-bound-reference/(('leaf', 1), ('leaf', 114))", "all-original-compositions-with-source-bound-reference/(('leaf', 1), ('leaf', 117))", "all-original-compositions-with-source-bound-reference/(('leaf', 4), ('leaf', 1))", "all-original-compositions-with-source-bound-reference/(('leaf', 4), ('leaf', 4))", "all-original-compositions-with-source-bound-reference/(('leaf', 4), ('leaf', 7))", "all-original-compositions-with-source-bound-reference/(('leaf', 4), ('leaf', 34))", "all-original-compositions-with-source-bound-reference/(('leaf', 4), ('leaf', 37))", "all-original-compositions-with-source-bound-reference/(('leaf', 4), ('leaf', 40))", "all-original-compositions-with-source-bound-reference/(('leaf', 4), ('leaf', 111))", "all-original-compositions-with-source-bound-reference/(('leaf', 4), ('leaf', 114))", "all-original-compositions-with-source-bound-reference/(('leaf', 4), ('leaf', 117))", "all-original-compositions-with-source-bound-reference/(('leaf', 7), ('leaf', 1))", "all-original-compositions-with-source-bound-reference/(('leaf', 7), ('leaf', 4))", "all-original-compositions-with-source-bound-reference/(('leaf', 7), ('leaf', 7))", "all-original-compositions-with-source-bound-reference/(('leaf', 7), ('leaf', 34))", "all-original-compositions-with-source-bound-reference/(('leaf', 7), ('leaf', 37))", "all-original-compositions-with-source-bound-reference/(('leaf', 7), ('leaf', 40))", "all-original-compositions-with-source-bound-reference/(('leaf', 7), ('leaf', 111))", "all-original-compositions-with-source-bound-reference/(('leaf', 7), ('leaf', 114))", "all-original-compositions-with-source-bound-reference/(('leaf', 7), ('leaf', 117))", "all-original-compositions-with-source-bound-reference/(('leaf', 34), ('leaf', 1))", "all-original-compositions-with-source-bound-reference/(('leaf', 34), ('leaf', 4))", "all-original-compositions-with-source-bound-reference/(('leaf', 34), ('leaf', 7))", "all-original-compositions-with-source-bound-reference/(('leaf', 34), ('leaf', 34))", "all-original-compositions-with-source-bound-reference/(('leaf', 34), ('leaf', 37))", "all-original-compositions-with-source-bound-reference/(('leaf', 34), ('leaf', 40))", "all-original-compositions-with-source-bound-reference/(('leaf', 34), ('leaf', 111))", "all-original-compositions-with-source-bound-reference/(('leaf', 34), ('leaf', 114))", "all-original-compositions-with-source-bound-reference/(('leaf', 34), ('leaf', 117))", "all-original-compositions-with-source-bound-reference/(('leaf', 37), ('leaf', 1))", "all-original-compositions-with-source-bound-reference/(('leaf', 37), ('leaf', 4))", "all-original-compositions-with-source-bound-reference/(('leaf', 37), ('leaf', 7))", "all-original-compositions-with-source-bound-reference/(('leaf', 37), ('leaf', 34))", "all-original-compositions-with-source-bound-reference/(('leaf', 37), ('leaf', 37))", "all-original-compositions-with-source-bound-reference/(('leaf', 37), ('leaf', 40))", "all-original-compositions-with-source-bound-reference/(('leaf', 37), ('leaf', 111))", "all-original-compositions-with-source-bound-reference/(('leaf', 37), ('leaf', 114))", "all-original-compositions-with-source-bound-reference/(('leaf', 37), ('leaf', 117))", "all-original-compositions-with-source-bound-reference/(('leaf', 40), ('leaf', 1))", "all-original-compositions-with-source-bound-reference/(('leaf', 40), ('leaf', 4))", "all-original-compositions-with-source-bound-reference/(('leaf', 40), ('leaf', 7))", "all-original-compositions-with-source-bound-reference/(('leaf', 40), ('leaf', 34))", "all-original-compositions-with-source-bound-reference/(('leaf', 40), ('leaf', 37))", "all-original-compositions-with-source-bound-reference/(('leaf', 40), ('leaf', 40))", "all-original-compositions-with-source-bound-reference/(('leaf', 40), ('leaf', 111))", "all-original-compositions-with-source-bound-reference/(('leaf', 40), ('leaf', 114))", "all-original-compositions-with-source-bound-reference/(('leaf', 40), ('leaf', 117))", "all-original-compositions-with-source-bound-reference/(('leaf', 111), ('leaf', 1))", "all-original-compositions-with-source-bound-reference/(('leaf', 111), ('leaf', 4))", "all-original-compositions-with-source-bound-reference/(('leaf', 111), ('leaf', 7))", "all-original-compositions-with-source-bound-reference/(('leaf', 111), ('leaf', 34))", "all-original-compositions-with-source-bound-reference/(('leaf', 111), ('leaf', 37))", "all-original-compositions-with-source-bound-reference/(('leaf', 111), ('leaf', 40))", "all-original-compositions-with-source-bound-reference/(('leaf', 111), ('leaf', 111))", "all-original-compositions-with-source-bound-reference/(('leaf', 111), ('leaf', 114))", "all-original-compositions-with-source-bound-reference/(('leaf', 111), ('leaf', 117))", "all-original-compositions-with-source-bound-reference/(('leaf', 114), ('leaf', 1))", "all-original-compositions-with-source-bound-reference/(('leaf', 114), ('leaf', 4))", "all-original-compositions-with-source-bound-reference/(('leaf', 114), ('leaf', 7))", "all-original-compositions-with-source-bound-reference/(('leaf', 114), ('leaf', 34))", "all-original-compositions-with-source-bound-reference/(('leaf', 114), ('leaf', 37))", "all-original-compositions-with-source-bound-reference/(('leaf', 114), ('leaf', 40))", "all-original-compositions-with-source-bound-reference/(('leaf', 114), ('leaf', 111))", "all-original-compositions-with-source-bound-reference/(('leaf', 114), ('leaf', 114))", "all-original-compositions-with-source-bound-reference/(('leaf', 114), ('leaf', 117))", "all-original-compositions-with-source-bound-reference/(('leaf', 117), ('leaf', 1))", "all-original-compositions-with-source-bound-reference/(('leaf', 117), ('leaf', 4))", "all-original-compositions-with-source-bound-reference/(('leaf', 117), ('leaf', 7))", "all-original-compositions-with-source-bound-reference/(('leaf', 117), ('leaf', 34))", "all-original-compositions-with-source-bound-reference/(('leaf', 117), ('leaf', 37))", "all-original-compositions-with-source-bound-reference/(('leaf', 117), ('leaf', 40))", "all-original-compositions-with-source-bound-reference/(('leaf', 117), ('leaf', 111))", "all-original-compositions-with-source-bound-reference/(('leaf', 117), ('leaf', 114))", "all-original-compositions-with-source-bound-reference/(('leaf', 117), ('leaf', 117))", "all-original-compositions-with-source-bound-reference/(('leaf', 2), ('leaf', 2))", "all-original-compositions-with-source-bound-reference/(('leaf', 2), ('leaf', 5))", "all-original-compositions-with-source-bound-reference/(('leaf', 2), ('leaf', 8))", "all-original-compositions-with-source-bound-reference/(('leaf', 2), ('leaf', 35))", "all-original-compositions-with-source-bound-reference/(('leaf', 2), ('leaf', 38))", "all-original-compositions-with-source-bound-reference/(('leaf', 2), ('leaf', 41))", "all-original-compositions-with-source-bound-reference/(('leaf', 2), ('leaf', 112))", "all-original-compositions-with-source-bound-reference/(('leaf', 2), ('leaf', 115))", "all-original-compositions-with-source-bound-reference/(('leaf', 2), ('leaf', 118))", "all-original-compositions-with-source-bound-reference/(('leaf', 5), ('leaf', 2))", "all-original-compositions-with-source-bound-reference/(('leaf', 5), ('leaf', 5))", "all-original-compositions-with-source-bound-reference/(('leaf', 5), ('leaf', 8))", "all-original-compositions-with-source-bound-reference/(('leaf', 5), ('leaf', 35))", "all-original-compositions-with-source-bound-reference/(('leaf', 5), ('leaf', 38))", "all-original-compositions-with-source-bound-reference/(('leaf', 5), ('leaf', 41))", "all-original-compositions-with-source-bound-reference/(('leaf', 5), ('leaf', 112))", "all-original-compositions-with-source-bound-reference/(('leaf', 5), ('leaf', 115))", "all-original-compositions-with-source-bound-reference/(('leaf', 5), ('leaf', 118))", "all-original-compositions-with-source-bound-reference/(('leaf', 8), ('leaf', 2))", "all-original-compositions-with-source-bound-reference/(('leaf', 8), ('leaf', 5))", "all-original-compositions-with-source-bound-reference/(('leaf', 8), ('leaf', 8))", "all-original-compositions-with-source-bound-reference/(('leaf', 8), ('leaf', 35))", "all-original-compositions-with-source-bound-reference/(('leaf', 8), ('leaf', 38))", "all-original-compositions-with-source-bound-reference/(('leaf', 8), ('leaf', 41))", "all-original-compositions-with-source-bound-reference/(('leaf', 8), ('leaf', 112))", "all-original-compositions-with-source-bound-reference/(('leaf', 8), ('leaf', 115))", "all-original-compositions-with-source-bound-reference/(('leaf', 8), ('leaf', 118))", "all-original-compositions-with-source-bound-reference/(('leaf', 35), ('leaf', 2))", "all-original-compositions-with-source-bound-reference/(('leaf', 35), ('leaf', 5))", "all-original-compositions-with-source-bound-reference/(('leaf', 35), ('leaf', 8))", "all-original-compositions-with-source-bound-reference/(('leaf', 35), ('leaf', 35))", "all-original-compositions-with-source-bound-reference/(('leaf', 35), ('leaf', 38))", "all-original-compositions-with-source-bound-reference/(('leaf', 35), ('leaf', 41))", "all-original-compositions-with-source-bound-reference/(('leaf', 35), ('leaf', 112))", "all-original-compositions-with-source-bound-reference/(('leaf', 35), ('leaf', 115))", "all-original-compositions-with-source-bound-reference/(('leaf', 35), ('leaf', 118))", "all-original-compositions-with-source-bound-reference/(('leaf', 38), ('leaf', 2))", "all-original-compositions-with-source-bound-reference/(('leaf', 38), ('leaf', 5))", "all-original-compositions-with-source-bound-reference/(('leaf', 38), ('leaf', 8))", "all-original-compositions-with-source-bound-reference/(('leaf', 38), ('leaf', 35))", "all-original-compositions-with-source-bound-reference/(('leaf', 38), ('leaf', 38))", "all-original-compositions-with-source-bound-reference/(('leaf', 38), ('leaf', 41))", "all-original-compositions-with-source-bound-reference/(('leaf', 38), ('leaf', 112))", "all-original-compositions-with-source-bound-reference/(('leaf', 38), ('leaf', 115))", "all-original-compositions-with-source-bound-reference/(('leaf', 38), ('leaf', 118))", "all-original-compositions-with-source-bound-reference/(('leaf', 41), ('leaf', 2))", "all-original-compositions-with-source-bound-reference/(('leaf', 41), ('leaf', 5))", "all-original-compositions-with-source-bound-reference/(('leaf', 41), ('leaf', 8))", "all-original-compositions-with-source-bound-reference/(('leaf', 41), ('leaf', 35))", "all-original-compositions-with-source-bound-reference/(('leaf', 41), ('leaf', 38))", "all-original-compositions-with-source-bound-reference/(('leaf', 41), ('leaf', 41))", "all-original-compositions-with-source-bound-reference/(('leaf', 41), ('leaf', 112))", "all-original-compositions-with-source-bound-reference/(('leaf', 41), ('leaf', 115))", "all-original-compositions-with-source-bound-reference/(('leaf', 41), ('leaf', 118))", "all-original-compositions-with-source-bound-reference/(('leaf', 112), ('leaf', 2))", "all-original-compositions-with-source-bound-reference/(('leaf', 112), ('leaf', 5))", "all-original-compositions-with-source-bound-reference/(('leaf', 112), ('leaf', 8))", "all-original-compositions-with-source-bound-reference/(('leaf', 112), ('leaf', 35))", "all-original-compositions-with-source-bound-reference/(('leaf', 112), ('leaf', 38))", "all-original-compositions-with-source-bound-reference/(('leaf', 112), ('leaf', 41))", "all-original-compositions-with-source-bound-reference/(('leaf', 112), ('leaf', 112))", "all-original-compositions-with-source-bound-reference/(('leaf', 112), ('leaf', 115))", "all-original-compositions-with-source-bound-reference/(('leaf', 112), ('leaf', 118))", "all-original-compositions-with-source-bound-reference/(('leaf', 115), ('leaf', 2))", "all-original-compositions-with-source-bound-reference/(('leaf', 115), ('leaf', 5))", "all-original-compositions-with-source-bound-reference/(('leaf', 115), ('leaf', 8))", "all-original-compositions-with-source-bound-reference/(('leaf', 115), ('leaf', 35))", "all-original-compositions-with-source-bound-reference/(('leaf', 115), ('leaf', 38))", "all-original-compositions-with-source-bound-reference/(('leaf', 115), ('leaf', 41))", "all-original-compositions-with-source-bound-reference/(('leaf', 115), ('leaf', 112))", "all-original-compositions-with-source-bound-reference/(('leaf', 115), ('leaf', 115))", "all-original-compositions-with-source-bound-reference/(('leaf', 115), ('leaf', 118))", "all-original-compositions-with-source-bound-reference/(('leaf', 118), ('leaf', 2))", "all-original-compositions-with-source-bound-reference/(('leaf', 118), ('leaf', 5))", "all-original-compositions-with-source-bound-reference/(('leaf', 118), ('leaf', 8))", "all-original-compositions-with-source-bound-reference/(('leaf', 118), ('leaf', 35))", "all-original-compositions-with-source-bound-reference/(('leaf', 118), ('leaf', 38))", "all-original-compositions-with-source-bound-reference/(('leaf', 118), ('leaf', 41))", "all-original-compositions-with-source-bound-reference/(('leaf', 118), ('leaf', 112))", "all-original-compositions-with-source-bound-reference/(('leaf', 118), ('leaf', 115))", "all-original-compositions-with-source-bound-reference/(('leaf', 118), ('leaf', 118))", "all-original-compositions-with-source-bound-reference/(('leaf', 6), ('leaf', 6))", "all-original-compositions-with-source-bound-reference/(('leaf', 6), ('leaf', 9))", "all-original-compositions-with-source-bound-reference/(('leaf', 6), ('leaf', 39))", "all-original-compositions-with-source-bound-reference/(('leaf', 6), ('leaf', 42))", "all-original-compositions-with-source-bound-reference/(('leaf', 6), ('leaf', 116))", "all-original-compositions-with-source-bound-reference/(('leaf', 6), ('leaf', 119))", "all-original-compositions-with-source-bound-reference/(('leaf', 9), ('leaf', 6))", "all-original-compositions-with-source-bound-reference/(('leaf', 9), ('leaf', 9))", "all-original-compositions-with-source-bound-reference/(('leaf', 9), ('leaf', 39))", "all-original-compositions-with-source-bound-reference/(('leaf', 9), ('leaf', 42))", "all-original-compositions-with-source-bound-reference/(('leaf', 9), ('leaf', 116))", "all-original-compositions-with-source-bound-reference/(('leaf', 9), ('leaf', 119))", "all-original-compositions-with-source-bound-reference/(('leaf', 39), ('leaf', 6))", "all-original-compositions-with-source-bound-reference/(('leaf', 39), ('leaf', 9))", "all-original-compositions-with-source-bound-reference/(('leaf', 39), ('leaf', 39))", "all-original-compositions-with-source-bound-reference/(('leaf', 39), ('leaf', 42))", "all-original-compositions-with-source-bound-reference/(('leaf', 39), ('leaf', 116))", "all-original-compositions-with-source-bound-reference/(('leaf', 39), ('leaf', 119))", "all-original-compositions-with-source-bound-reference/(('leaf', 42), ('leaf', 6))", "all-original-compositions-with-source-bound-reference/(('leaf', 42), ('leaf', 9))", "all-original-compositions-with-source-bound-reference/(('leaf', 42), ('leaf', 39))", "all-original-compositions-with-source-bound-reference/(('leaf', 42), ('leaf', 42))", "all-original-compositions-with-source-bound-reference/(('leaf', 42), ('leaf', 116))", "all-original-compositions-with-source-bound-reference/(('leaf', 42), ('leaf', 119))", "all-original-compositions-with-source-bound-reference/(('leaf', 116), ('leaf', 6))", "all-original-compositions-with-source-bound-reference/(('leaf', 116), ('leaf', 9))", "all-original-compositions-with-source-bound-reference/(('leaf', 116), ('leaf', 39))", "all-original-compositions-with-source-bound-reference/(('leaf', 116), ('leaf', 42))", "all-original-compositions-with-source-bound-reference/(('leaf', 116), ('leaf', 116))", "all-original-compositions-with-source-bound-reference/(('leaf', 116), ('leaf', 119))", "all-original-compositions-with-source-bound-reference/(('leaf', 119), ('leaf', 6))", "all-original-compositions-with-source-bound-reference/(('leaf', 119), ('leaf', 9))", "all-original-compositions-with-source-bound-reference/(('leaf', 119), ('leaf', 39))", "all-original-compositions-with-source-bound-reference/(('leaf', 119), ('leaf', 42))", "all-original-compositions-with-source-bound-reference/(('leaf', 119), ('leaf', 116))", "all-original-compositions-with-source-bound-reference/(('leaf', 119), ('leaf', 119))", "all-original-compositions-with-source-bound-reference/(('leaf', 11), ('leaf', 11))", "all-original-compositions-with-source-bound-reference/(('leaf', 11), ('leaf', 14))", "all-original-compositions-with-source-bound-reference/(('leaf', 11), ('leaf', 21))", "all-original-compositions-with-source-bound-reference/(('leaf', 11), ('leaf', 44))", "all-original-compositions-with-source-bound-reference/(('leaf', 11), ('leaf', 47))", "all-original-compositions-with-source-bound-reference/(('leaf', 11), ('leaf', 54))", "all-original-compositions-with-source-bound-reference/(('leaf', 11), ('leaf', 77))", "all-original-compositions-with-source-bound-reference/(('leaf', 11), ('leaf', 80))", "all-original-compositions-with-source-bound-reference/(('leaf', 11), ('leaf', 87))", "all-original-compositions-with-source-bound-reference/(('leaf', 14), ('leaf', 11))", "all-original-compositions-with-source-bound-reference/(('leaf', 14), ('leaf', 14))", "all-original-compositions-with-source-bound-reference/(('leaf', 14), ('leaf', 21))", "all-original-compositions-with-source-bound-reference/(('leaf', 14), ('leaf', 44))", "all-original-compositions-with-source-bound-reference/(('leaf', 14), ('leaf', 47))", "all-original-compositions-with-source-bound-reference/(('leaf', 14), ('leaf', 54))", "all-original-compositions-with-source-bound-reference/(('leaf', 14), ('leaf', 77))", "all-original-compositions-with-source-bound-reference/(('leaf', 14), ('leaf', 80))", "all-original-compositions-with-source-bound-reference/(('leaf', 14), ('leaf', 87))", "all-original-compositions-with-source-bound-reference/(('leaf', 21), ('leaf', 11))", "all-original-compositions-with-source-bound-reference/(('leaf', 21), ('leaf', 14))", "all-original-compositions-with-source-bound-reference/(('leaf', 21), ('leaf', 21))", "all-original-compositions-with-source-bound-reference/(('leaf', 21), ('leaf', 44))", "all-original-compositions-with-source-bound-reference/(('leaf', 21), ('leaf', 47))", "all-original-compositions-with-source-bound-reference/(('leaf', 21), ('leaf', 54))", "all-original-compositions-with-source-bound-reference/(('leaf', 21), ('leaf', 77))", "all-original-compositions-with-source-bound-reference/(('leaf', 21), ('leaf', 80))", "all-original-compositions-with-source-bound-reference/(('leaf', 21), ('leaf', 87))", "all-original-compositions-with-source-bound-reference/(('leaf', 44), ('leaf', 11))", "all-original-compositions-with-source-bound-reference/(('leaf', 44), ('leaf', 14))", "all-original-compositions-with-source-bound-reference/(('leaf', 44), ('leaf', 21))", "all-original-compositions-with-source-bound-reference/(('leaf', 44), ('leaf', 44))", "all-original-compositions-with-source-bound-reference/(('leaf', 44), ('leaf', 47))", "all-original-compositions-with-source-bound-reference/(('leaf', 44), ('leaf', 54))", "all-original-compositions-with-source-bound-reference/(('leaf', 44), ('leaf', 77))", "all-original-compositions-with-source-bound-reference/(('leaf', 44), ('leaf', 80))", "all-original-compositions-with-source-bound-reference/(('leaf', 44), ('leaf', 87))", "all-original-compositions-with-source-bound-reference/(('leaf', 47), ('leaf', 11))", "all-original-compositions-with-source-bound-reference/(('leaf', 47), ('leaf', 14))", "all-original-compositions-with-source-bound-reference/(('leaf', 47), ('leaf', 21))", "all-original-compositions-with-source-bound-reference/(('leaf', 47), ('leaf', 44))", "all-original-compositions-with-source-bound-reference/(('leaf', 47), ('leaf', 47))", "all-original-compositions-with-source-bound-reference/(('leaf', 47), ('leaf', 54))", "all-original-compositions-with-source-bound-reference/(('leaf', 47), ('leaf', 77))", "all-original-compositions-with-source-bound-reference/(('leaf', 47), ('leaf', 80))", "all-original-compositions-with-source-bound-reference/(('leaf', 47), ('leaf', 87))", "all-original-compositions-with-source-bound-reference/(('leaf', 54), ('leaf', 11))", "all-original-compositions-with-source-bound-reference/(('leaf', 54), ('leaf', 14))", "all-original-compositions-with-source-bound-reference/(('leaf', 54), ('leaf', 21))", "all-original-compositions-with-source-bound-reference/(('leaf', 54), ('leaf', 44))", "all-original-compositions-with-source-bound-reference/(('leaf', 54), ('leaf', 47))", "all-original-compositions-with-source-bound-reference/(('leaf', 54), ('leaf', 54))", "all-original-compositions-with-source-bound-reference/(('leaf', 54), ('leaf', 77))", "all-original-compositions-with-source-bound-reference/(('leaf', 54), ('leaf', 80))", "all-original-compositions-with-source-bound-reference/(('leaf', 54), ('leaf', 87))", "all-original-compositions-with-source-bound-reference/(('leaf', 77), ('leaf', 11))", "all-original-compositions-with-source-bound-reference/(('leaf', 77), ('leaf', 14))", "all-original-compositions-with-source-bound-reference/(('leaf', 77), ('leaf', 21))", "all-original-compositions-with-source-bound-reference/(('leaf', 77), ('leaf', 44))", "all-original-compositions-with-source-bound-reference/(('leaf', 77), ('leaf', 47))", "all-original-compositions-with-source-bound-reference/(('leaf', 77), ('leaf', 54))", "all-original-compositions-with-source-bound-reference/(('leaf', 77), ('leaf', 77))", "all-original-compositions-with-source-bound-reference/(('leaf', 77), ('leaf', 80))", "all-original-compositions-with-source-bound-reference/(('leaf', 77), ('leaf', 87))", "all-original-compositions-with-source-bound-reference/(('leaf', 80), ('leaf', 11))", "all-original-compositions-with-source-bound-reference/(('leaf', 80), ('leaf', 14))", "all-original-compositions-with-source-bound-reference/(('leaf', 80), ('leaf', 21))", "all-original-compositions-with-source-bound-reference/(('leaf', 80), ('leaf', 44))", "all-original-compositions-with-source-bound-reference/(('leaf', 80), ('leaf', 47))", "all-original-compositions-with-source-bound-reference/(('leaf', 80), ('leaf', 54))", "all-original-compositions-with-source-bound-reference/(('leaf', 80), ('leaf', 77))", "all-original-compositions-with-source-bound-reference/(('leaf', 80), ('leaf', 80))", "all-original-compositions-with-source-bound-reference/(('leaf', 80), ('leaf', 87))", "all-original-compositions-with-source-bound-reference/(('leaf', 87), ('leaf', 11))", "all-original-compositions-with-source-bound-reference/(('leaf', 87), ('leaf', 14))", "all-original-compositions-with-source-bound-reference/(('leaf', 87), ('leaf', 21))", "all-original-compositions-with-source-bound-reference/(('leaf', 87), ('leaf', 44))", "all-original-compositions-with-source-bound-reference/(('leaf', 87), ('leaf', 47))", "all-original-compositions-with-source-bound-reference/(('leaf', 87), ('leaf', 54))", "all-original-compositions-with-source-bound-reference/(('leaf', 87), ('leaf', 77))", "all-original-compositions-with-source-bound-reference/(('leaf', 87), ('leaf', 80))", "all-original-compositions-with-source-bound-reference/(('leaf', 87), ('leaf', 87))", "all-original-compositions-with-source-bound-reference/(('leaf', 12), ('leaf', 12))", "all-original-compositions-with-source-bound-reference/(('leaf', 12), ('leaf', 15))", "all-original-compositions-with-source-bound-reference/(('leaf', 12), ('leaf', 18))", "all-original-compositions-with-source-bound-reference/(('leaf', 12), ('leaf', 45))", "all-original-compositions-with-source-bound-reference/(('leaf', 12), ('leaf', 48))", "all-original-compositions-with-source-bound-reference/(('leaf', 12), ('leaf', 51))", "all-original-compositions-with-source-bound-reference/(('leaf', 12), ('leaf', 78))", "all-original-compositions-with-source-bound-reference/(('leaf', 12), ('leaf', 81))", "all-original-compositions-with-source-bound-reference/(('leaf', 12), ('leaf', 84))", "all-original-compositions-with-source-bound-reference/(('leaf', 15), ('leaf', 12))", "all-original-compositions-with-source-bound-reference/(('leaf', 15), ('leaf', 15))", "all-original-compositions-with-source-bound-reference/(('leaf', 15), ('leaf', 18))", "all-original-compositions-with-source-bound-reference/(('leaf', 15), ('leaf', 45))", "all-original-compositions-with-source-bound-reference/(('leaf', 15), ('leaf', 48))", "all-original-compositions-with-source-bound-reference/(('leaf', 15), ('leaf', 51))", "all-original-compositions-with-source-bound-reference/(('leaf', 15), ('leaf', 78))", "all-original-compositions-with-source-bound-reference/(('leaf', 15), ('leaf', 81))", "all-original-compositions-with-source-bound-reference/(('leaf', 15), ('leaf', 84))", "all-original-compositions-with-source-bound-reference/(('leaf', 18), ('leaf', 12))", "all-original-compositions-with-source-bound-reference/(('leaf', 18), ('leaf', 15))", "all-original-compositions-with-source-bound-reference/(('leaf', 18), ('leaf', 18))", "all-original-compositions-with-source-bound-reference/(('leaf', 18), ('leaf', 45))", "all-original-compositions-with-source-bound-reference/(('leaf', 18), ('leaf', 48))", "all-original-compositions-with-source-bound-reference/(('leaf', 18), ('leaf', 51))", "all-original-compositions-with-source-bound-reference/(('leaf', 18), ('leaf', 78))", "all-original-compositions-with-source-bound-reference/(('leaf', 18), ('leaf', 81))", "all-original-compositions-with-source-bound-reference/(('leaf', 18), ('leaf', 84))", "all-original-compositions-with-source-bound-reference/(('leaf', 45), ('leaf', 12))", "all-original-compositions-with-source-bound-reference/(('leaf', 45), ('leaf', 15))", "all-original-compositions-with-source-bound-reference/(('leaf', 45), ('leaf', 18))", "all-original-compositions-with-source-bound-reference/(('leaf', 45), ('leaf', 45))", "all-original-compositions-with-source-bound-reference/(('leaf', 45), ('leaf', 48))", "all-original-compositions-with-source-bound-reference/(('leaf', 45), ('leaf', 51))", "all-original-compositions-with-source-bound-reference/(('leaf', 45), ('leaf', 78))", "all-original-compositions-with-source-bound-reference/(('leaf', 45), ('leaf', 81))", "all-original-compositions-with-source-bound-reference/(('leaf', 45), ('leaf', 84))", "all-original-compositions-with-source-bound-reference/(('leaf', 48), ('leaf', 12))", "all-original-compositions-with-source-bound-reference/(('leaf', 48), ('leaf', 15))", "all-original-compositions-with-source-bound-reference/(('leaf', 48), ('leaf', 18))", "all-original-compositions-with-source-bound-reference/(('leaf', 48), ('leaf', 45))", "all-original-compositions-with-source-bound-reference/(('leaf', 48), ('leaf', 48))", "all-original-compositions-with-source-bound-reference/(('leaf', 48), ('leaf', 51))", "all-original-compositions-with-source-bound-reference/(('leaf', 48), ('leaf', 78))", "all-original-compositions-with-source-bound-reference/(('leaf', 48), ('leaf', 81))", "all-original-compositions-with-source-bound-reference/(('leaf', 48), ('leaf', 84))", "all-original-compositions-with-source-bound-reference/(('leaf', 51), ('leaf', 12))", "all-original-compositions-with-source-bound-reference/(('leaf', 51), ('leaf', 15))", "all-original-compositions-with-source-bound-reference/(('leaf', 51), ('leaf', 18))", "all-original-compositions-with-source-bound-reference/(('leaf', 51), ('leaf', 45))", "all-original-compositions-with-source-bound-reference/(('leaf', 51), ('leaf', 48))", "all-original-compositions-with-source-bound-reference/(('leaf', 51), ('leaf', 51))", "all-original-compositions-with-source-bound-reference/(('leaf', 51), ('leaf', 78))", "all-original-compositions-with-source-bound-reference/(('leaf', 51), ('leaf', 81))", "all-original-compositions-with-source-bound-reference/(('leaf', 51), ('leaf', 84))", "all-original-compositions-with-source-bound-reference/(('leaf', 78), ('leaf', 12))", "all-original-compositions-with-source-bound-reference/(('leaf', 78), ('leaf', 15))", "all-original-compositions-with-source-bound-reference/(('leaf', 78), ('leaf', 18))", "all-original-compositions-with-source-bound-reference/(('leaf', 78), ('leaf', 45))", "all-original-compositions-with-source-bound-reference/(('leaf', 78), ('leaf', 48))", "all-original-compositions-with-source-bound-reference/(('leaf', 78), ('leaf', 51))", "all-original-compositions-with-source-bound-reference/(('leaf', 78), ('leaf', 78))", "all-original-compositions-with-source-bound-reference/(('leaf', 78), ('leaf', 81))", "all-original-compositions-with-source-bound-reference/(('leaf', 78), ('leaf', 84))", "all-original-compositions-with-source-bound-reference/(('leaf', 81), ('leaf', 12))", "all-original-compositions-with-source-bound-reference/(('leaf', 81), ('leaf', 15))", "all-original-compositions-with-source-bound-reference/(('leaf', 81), ('leaf', 18))", "all-original-compositions-with-source-bound-reference/(('leaf', 81), ('leaf', 45))", "all-original-compositions-with-source-bound-reference/(('leaf', 81), ('leaf', 48))", "all-original-compositions-with-source-bound-reference/(('leaf', 81), ('leaf', 51))", "all-original-compositions-with-source-bound-reference/(('leaf', 81), ('leaf', 78))", "all-original-compositions-with-source-bound-reference/(('leaf', 81), ('leaf', 81))", "all-original-compositions-with-source-bound-reference/(('leaf', 81), ('leaf', 84))", "all-original-compositions-with-source-bound-reference/(('leaf', 84), ('leaf', 12))", "all-original-compositions-with-source-bound-reference/(('leaf', 84), ('leaf', 15))", "all-original-compositions-with-source-bound-reference/(('leaf', 84), ('leaf', 18))", "all-original-compositions-with-source-bound-reference/(('leaf', 84), ('leaf', 45))", "all-original-compositions-with-source-bound-reference/(('leaf', 84), ('leaf', 48))", "all-original-compositions-with-source-bound-reference/(('leaf', 84), ('leaf', 51))", "all-original-compositions-with-source-bound-reference/(('leaf', 84), ('leaf', 78))", "all-original-compositions-with-source-bound-reference/(('leaf', 84), ('leaf', 81))", "all-original-compositions-with-source-bound-reference/(('leaf', 84), ('leaf', 84))", "all-original-compositions-with-source-bound-reference/(('leaf', 13), ('leaf', 13))", "all-original-compositions-with-source-bound-reference/(('leaf', 13), ('leaf', 16))", "all-original-compositions-with-source-bound-reference/(('leaf', 13), ('leaf', 19))", "all-original-compositions-with-source-bound-reference/(('leaf', 13), ('leaf', 46))", "all-original-compositions-with-source-bound-reference/(('leaf', 13), ('leaf', 49))", "all-original-compositions-with-source-bound-reference/(('leaf', 13), ('leaf', 52))", "all-original-compositions-with-source-bound-reference/(('leaf', 13), ('leaf', 79))", "all-original-compositions-with-source-bound-reference/(('leaf', 13), ('leaf', 82))", "all-original-compositions-with-source-bound-reference/(('leaf', 13), ('leaf', 85))", "all-original-compositions-with-source-bound-reference/(('leaf', 16), ('leaf', 13))", "all-original-compositions-with-source-bound-reference/(('leaf', 16), ('leaf', 16))", "all-original-compositions-with-source-bound-reference/(('leaf', 16), ('leaf', 19))", "all-original-compositions-with-source-bound-reference/(('leaf', 16), ('leaf', 46))", "all-original-compositions-with-source-bound-reference/(('leaf', 16), ('leaf', 49))", "all-original-compositions-with-source-bound-reference/(('leaf', 16), ('leaf', 52))", "all-original-compositions-with-source-bound-reference/(('leaf', 16), ('leaf', 79))", "all-original-compositions-with-source-bound-reference/(('leaf', 16), ('leaf', 82))", "all-original-compositions-with-source-bound-reference/(('leaf', 16), ('leaf', 85))", "all-original-compositions-with-source-bound-reference/(('leaf', 19), ('leaf', 13))", "all-original-compositions-with-source-bound-reference/(('leaf', 19), ('leaf', 16))", "all-original-compositions-with-source-bound-reference/(('leaf', 19), ('leaf', 19))", "all-original-compositions-with-source-bound-reference/(('leaf', 19), ('leaf', 46))", "all-original-compositions-with-source-bound-reference/(('leaf', 19), ('leaf', 49))", "all-original-compositions-with-source-bound-reference/(('leaf', 19), ('leaf', 52))", "all-original-compositions-with-source-bound-reference/(('leaf', 19), ('leaf', 79))", "all-original-compositions-with-source-bound-reference/(('leaf', 19), ('leaf', 82))", "all-original-compositions-with-source-bound-reference/(('leaf', 19), ('leaf', 85))", "all-original-compositions-with-source-bound-reference/(('leaf', 46), ('leaf', 13))", "all-original-compositions-with-source-bound-reference/(('leaf', 46), ('leaf', 16))", "all-original-compositions-with-source-bound-reference/(('leaf', 46), ('leaf', 19))", "all-original-compositions-with-source-bound-reference/(('leaf', 46), ('leaf', 46))", "all-original-compositions-with-source-bound-reference/(('leaf', 46), ('leaf', 49))", "all-original-compositions-with-source-bound-reference/(('leaf', 46), ('leaf', 52))", "all-original-compositions-with-source-bound-reference/(('leaf', 46), ('leaf', 79))", "all-original-compositions-with-source-bound-reference/(('leaf', 46), ('leaf', 82))", "all-original-compositions-with-source-bound-reference/(('leaf', 46), ('leaf', 85))", "all-original-compositions-with-source-bound-reference/(('leaf', 49), ('leaf', 13))", "all-original-compositions-with-source-bound-reference/(('leaf', 49), ('leaf', 16))", "all-original-compositions-with-source-bound-reference/(('leaf', 49), ('leaf', 19))", "all-original-compositions-with-source-bound-reference/(('leaf', 49), ('leaf', 46))", "all-original-compositions-with-source-bound-reference/(('leaf', 49), ('leaf', 49))", "all-original-compositions-with-source-bound-reference/(('leaf', 49), ('leaf', 52))", "all-original-compositions-with-source-bound-reference/(('leaf', 49), ('leaf', 79))", "all-original-compositions-with-source-bound-reference/(('leaf', 49), ('leaf', 82))", "all-original-compositions-with-source-bound-reference/(('leaf', 49), ('leaf', 85))", "all-original-compositions-with-source-bound-reference/(('leaf', 52), ('leaf', 13))", "all-original-compositions-with-source-bound-reference/(('leaf', 52), ('leaf', 16))", "all-original-compositions-with-source-bound-reference/(('leaf', 52), ('leaf', 19))", "all-original-compositions-with-source-bound-reference/(('leaf', 52), ('leaf', 46))", "all-original-compositions-with-source-bound-reference/(('leaf', 52), ('leaf', 49))", "all-original-compositions-with-source-bound-reference/(('leaf', 52), ('leaf', 52))", "all-original-compositions-with-source-bound-reference/(('leaf', 52), ('leaf', 79))", "all-original-compositions-with-source-bound-reference/(('leaf', 52), ('leaf', 82))", "all-original-compositions-with-source-bound-reference/(('leaf', 52), ('leaf', 85))", "all-original-compositions-with-source-bound-reference/(('leaf', 79), ('leaf', 13))", "all-original-compositions-with-source-bound-reference/(('leaf', 79), ('leaf', 16))", "all-original-compositions-with-source-bound-reference/(('leaf', 79), ('leaf', 19))", "all-original-compositions-with-source-bound-reference/(('leaf', 79), ('leaf', 46))", "all-original-compositions-with-source-bound-reference/(('leaf', 79), ('leaf', 49))", "all-original-compositions-with-source-bound-reference/(('leaf', 79), ('leaf', 52))", "all-original-compositions-with-source-bound-reference/(('leaf', 79), ('leaf', 79))", "all-original-compositions-with-source-bound-reference/(('leaf', 79), ('leaf', 82))", "all-original-compositions-with-source-bound-reference/(('leaf', 79), ('leaf', 85))", "all-original-compositions-with-source-bound-reference/(('leaf', 82), ('leaf', 13))", "all-original-compositions-with-source-bound-reference/(('leaf', 82), ('leaf', 16))", "all-original-compositions-with-source-bound-reference/(('leaf', 82), ('leaf', 19))", "all-original-compositions-with-source-bound-reference/(('leaf', 82), ('leaf', 46))", "all-original-compositions-with-source-bound-reference/(('leaf', 82), ('leaf', 49))", "all-original-compositions-with-source-bound-reference/(('leaf', 82), ('leaf', 52))", "all-original-compositions-with-source-bound-reference/(('leaf', 82), ('leaf', 79))", "all-original-compositions-with-source-bound-reference/(('leaf', 82), ('leaf', 82))", "all-original-compositions-with-source-bound-reference/(('leaf', 82), ('leaf', 85))", "all-original-compositions-with-source-bound-reference/(('leaf', 85), ('leaf', 13))", "all-original-compositions-with-source-bound-reference/(('leaf', 85), ('leaf', 16))", "all-original-compositions-with-source-bound-reference/(('leaf', 85), ('leaf', 19))", "all-original-compositions-with-source-bound-reference/(('leaf', 85), ('leaf', 46))", "all-original-compositions-with-source-bound-reference/(('leaf', 85), ('leaf', 49))", "all-original-compositions-with-source-bound-reference/(('leaf', 85), ('leaf', 52))", "all-original-compositions-with-source-bound-reference/(('leaf', 85), ('leaf', 79))", "all-original-compositions-with-source-bound-reference/(('leaf', 85), ('leaf', 82))", "all-original-compositions-with-source-bound-reference/(('leaf', 85), ('leaf', 85))", "all-original-compositions-with-source-bound-reference/(('leaf', 17), ('leaf', 17))", "all-original-compositions-with-source-bound-reference/(('leaf', 17), ('leaf', 20))", "all-original-compositions-with-source-bound-reference/(('leaf', 17), ('leaf', 50))", "all-original-compositions-with-source-bound-reference/(('leaf', 17), ('leaf', 53))", "all-original-compositions-with-source-bound-reference/(('leaf', 17), ('leaf', 83))", "all-original-compositions-with-source-bound-reference/(('leaf', 17), ('leaf', 86))", "all-original-compositions-with-source-bound-reference/(('leaf', 20), ('leaf', 17))", "all-original-compositions-with-source-bound-reference/(('leaf', 20), ('leaf', 20))", "all-original-compositions-with-source-bound-reference/(('leaf', 20), ('leaf', 50))", "all-original-compositions-with-source-bound-reference/(('leaf', 20), ('leaf', 53))", "all-original-compositions-with-source-bound-reference/(('leaf', 20), ('leaf', 83))", "all-original-compositions-with-source-bound-reference/(('leaf', 20), ('leaf', 86))", "all-original-compositions-with-source-bound-reference/(('leaf', 50), ('leaf', 17))", "all-original-compositions-with-source-bound-reference/(('leaf', 50), ('leaf', 20))", "all-original-compositions-with-source-bound-reference/(('leaf', 50), ('leaf', 50))", "all-original-compositions-with-source-bound-reference/(('leaf', 50), ('leaf', 53))", "all-original-compositions-with-source-bound-reference/(('leaf', 50), ('leaf', 83))", "all-original-compositions-with-source-bound-reference/(('leaf', 50), ('leaf', 86))", "all-original-compositions-with-source-bound-reference/(('leaf', 53), ('leaf', 17))", "all-original-compositions-with-source-bound-reference/(('leaf', 53), ('leaf', 20))", "all-original-compositions-with-source-bound-reference/(('leaf', 53), ('leaf', 50))", "all-original-compositions-with-source-bound-reference/(('leaf', 53), ('leaf', 53))", "all-original-compositions-with-source-bound-reference/(('leaf', 53), ('leaf', 83))", "all-original-compositions-with-source-bound-reference/(('leaf', 53), ('leaf', 86))", "all-original-compositions-with-source-bound-reference/(('leaf', 83), ('leaf', 17))", "all-original-compositions-with-source-bound-reference/(('leaf', 83), ('leaf', 20))", "all-original-compositions-with-source-bound-reference/(('leaf', 83), ('leaf', 50))", "all-original-compositions-with-source-bound-reference/(('leaf', 83), ('leaf', 53))", "all-original-compositions-with-source-bound-reference/(('leaf', 83), ('leaf', 83))", "all-original-compositions-with-source-bound-reference/(('leaf', 83), ('leaf', 86))", "all-original-compositions-with-source-bound-reference/(('leaf', 86), ('leaf', 17))", "all-original-compositions-with-source-bound-reference/(('leaf', 86), ('leaf', 20))", "all-original-compositions-with-source-bound-reference/(('leaf', 86), ('leaf', 50))", "all-original-compositions-with-source-bound-reference/(('leaf', 86), ('leaf', 53))", "all-original-compositions-with-source-bound-reference/(('leaf', 86), ('leaf', 83))", "all-original-compositions-with-source-bound-reference/(('leaf', 86), ('leaf', 86))", "all-original-compositions-with-source-bound-reference/(('leaf', 22), ('leaf', 22))", "all-original-compositions-with-source-bound-reference/(('leaf', 22), ('leaf', 25))", "all-original-compositions-with-source-bound-reference/(('leaf', 22), ('leaf', 32))", "all-original-compositions-with-source-bound-reference/(('leaf', 22), ('leaf', 55))", "all-original-compositions-with-source-bound-reference/(('leaf', 22), ('leaf', 58))", "all-original-compositions-with-source-bound-reference/(('leaf', 22), ('leaf', 65))", "all-original-compositions-with-source-bound-reference/(('leaf', 22), ('leaf', 88))", "all-original-compositions-with-source-bound-reference/(('leaf', 22), ('leaf', 91))", "all-original-compositions-with-source-bound-reference/(('leaf', 22), ('leaf', 98))", "all-original-compositions-with-source-bound-reference/(('leaf', 25), ('leaf', 22))", "all-original-compositions-with-source-bound-reference/(('leaf', 25), ('leaf', 25))", "all-original-compositions-with-source-bound-reference/(('leaf', 25), ('leaf', 32))", "all-original-compositions-with-source-bound-reference/(('leaf', 25), ('leaf', 55))", "all-original-compositions-with-source-bound-reference/(('leaf', 25), ('leaf', 58))", "all-original-compositions-with-source-bound-reference/(('leaf', 25), ('leaf', 65))", "all-original-compositions-with-source-bound-reference/(('leaf', 25), ('leaf', 88))", "all-original-compositions-with-source-bound-reference/(('leaf', 25), ('leaf', 91))", "all-original-compositions-with-source-bound-reference/(('leaf', 25), ('leaf', 98))", "all-original-compositions-with-source-bound-reference/(('leaf', 32), ('leaf', 22))", "all-original-compositions-with-source-bound-reference/(('leaf', 32), ('leaf', 25))", "all-original-compositions-with-source-bound-reference/(('leaf', 32), ('leaf', 32))", "all-original-compositions-with-source-bound-reference/(('leaf', 32), ('leaf', 55))", "all-original-compositions-with-source-bound-reference/(('leaf', 32), ('leaf', 58))", "all-original-compositions-with-source-bound-reference/(('leaf', 32), ('leaf', 65))", "all-original-compositions-with-source-bound-reference/(('leaf', 32), ('leaf', 88))", "all-original-compositions-with-source-bound-reference/(('leaf', 32), ('leaf', 91))", "all-original-compositions-with-source-bound-reference/(('leaf', 32), ('leaf', 98))", "all-original-compositions-with-source-bound-reference/(('leaf', 55), ('leaf', 22))", "all-original-compositions-with-source-bound-reference/(('leaf', 55), ('leaf', 25))", "all-original-compositions-with-source-bound-reference/(('leaf', 55), ('leaf', 32))", "all-original-compositions-with-source-bound-reference/(('leaf', 55), ('leaf', 55))", "all-original-compositions-with-source-bound-reference/(('leaf', 55), ('leaf', 58))", "all-original-compositions-with-source-bound-reference/(('leaf', 55), ('leaf', 65))", "all-original-compositions-with-source-bound-reference/(('leaf', 55), ('leaf', 88))", "all-original-compositions-with-source-bound-reference/(('leaf', 55), ('leaf', 91))", "all-original-compositions-with-source-bound-reference/(('leaf', 55), ('leaf', 98))", "all-original-compositions-with-source-bound-reference/(('leaf', 58), ('leaf', 22))", "all-original-compositions-with-source-bound-reference/(('leaf', 58), ('leaf', 25))", "all-original-compositions-with-source-bound-reference/(('leaf', 58), ('leaf', 32))", "all-original-compositions-with-source-bound-reference/(('leaf', 58), ('leaf', 55))", "all-original-compositions-with-source-bound-reference/(('leaf', 58), ('leaf', 58))", "all-original-compositions-with-source-bound-reference/(('leaf', 58), ('leaf', 65))", "all-original-compositions-with-source-bound-reference/(('leaf', 58), ('leaf', 88))", "all-original-compositions-with-source-bound-reference/(('leaf', 58), ('leaf', 91))", "all-original-compositions-with-source-bound-reference/(('leaf', 58), ('leaf', 98))", "all-original-compositions-with-source-bound-reference/(('leaf', 65), ('leaf', 22))", "all-original-compositions-with-source-bound-reference/(('leaf', 65), ('leaf', 25))", "all-original-compositions-with-source-bound-reference/(('leaf', 65), ('leaf', 32))", "all-original-compositions-with-source-bound-reference/(('leaf', 65), ('leaf', 55))", "all-original-compositions-with-source-bound-reference/(('leaf', 65), ('leaf', 58))", "all-original-compositions-with-source-bound-reference/(('leaf', 65), ('leaf', 65))", "all-original-compositions-with-source-bound-reference/(('leaf', 65), ('leaf', 88))", "all-original-compositions-with-source-bound-reference/(('leaf', 65), ('leaf', 91))", "all-original-compositions-with-source-bound-reference/(('leaf', 65), ('leaf', 98))", "all-original-compositions-with-source-bound-reference/(('leaf', 88), ('leaf', 22))", "all-original-compositions-with-source-bound-reference/(('leaf', 88), ('leaf', 25))", "all-original-compositions-with-source-bound-reference/(('leaf', 88), ('leaf', 32))", "all-original-compositions-with-source-bound-reference/(('leaf', 88), ('leaf', 55))", "all-original-compositions-with-source-bound-reference/(('leaf', 88), ('leaf', 58))", "all-original-compositions-with-source-bound-reference/(('leaf', 88), ('leaf', 65))", "all-original-compositions-with-source-bound-reference/(('leaf', 88), ('leaf', 88))", "all-original-compositions-with-source-bound-reference/(('leaf', 88), ('leaf', 91))", "all-original-compositions-with-source-bound-reference/(('leaf', 88), ('leaf', 98))", "all-original-compositions-with-source-bound-reference/(('leaf', 91), ('leaf', 22))", "all-original-compositions-with-source-bound-reference/(('leaf', 91), ('leaf', 25))", "all-original-compositions-with-source-bound-reference/(('leaf', 91), ('leaf', 32))", "all-original-compositions-with-source-bound-reference/(('leaf', 91), ('leaf', 55))", "all-original-compositions-with-source-bound-reference/(('leaf', 91), ('leaf', 58))", "all-original-compositions-with-source-bound-reference/(('leaf', 91), ('leaf', 65))", "all-original-compositions-with-source-bound-reference/(('leaf', 91), ('leaf', 88))", "all-original-compositions-with-source-bound-reference/(('leaf', 91), ('leaf', 91))", "all-original-compositions-with-source-bound-reference/(('leaf', 91), ('leaf', 98))", "all-original-compositions-with-source-bound-reference/(('leaf', 98), ('leaf', 22))", "all-original-compositions-with-source-bound-reference/(('leaf', 98), ('leaf', 25))", "all-original-compositions-with-source-bound-reference/(('leaf', 98), ('leaf', 32))", "all-original-compositions-with-source-bound-reference/(('leaf', 98), ('leaf', 55))", "all-original-compositions-with-source-bound-reference/(('leaf', 98), ('leaf', 58))", "all-original-compositions-with-source-bound-reference/(('leaf', 98), ('leaf', 65))", "all-original-compositions-with-source-bound-reference/(('leaf', 98), ('leaf', 88))", "all-original-compositions-with-source-bound-reference/(('leaf', 98), ('leaf', 91))", "all-original-compositions-with-source-bound-reference/(('leaf', 98), ('leaf', 98))", "all-original-compositions-with-source-bound-reference/(('leaf', 23), ('leaf', 23))", "all-original-compositions-with-source-bound-reference/(('leaf', 23), ('leaf', 26))", "all-original-compositions-with-source-bound-reference/(('leaf', 23), ('leaf', 29))", "all-original-compositions-with-source-bound-reference/(('leaf', 23), ('leaf', 56))", "all-original-compositions-with-source-bound-reference/(('leaf', 23), ('leaf', 59))", "all-original-compositions-with-source-bound-reference/(('leaf', 23), ('leaf', 62))", "all-original-compositions-with-source-bound-reference/(('leaf', 23), ('leaf', 89))", "all-original-compositions-with-source-bound-reference/(('leaf', 23), ('leaf', 92))", "all-original-compositions-with-source-bound-reference/(('leaf', 23), ('leaf', 95))", "all-original-compositions-with-source-bound-reference/(('leaf', 26), ('leaf', 23))", "all-original-compositions-with-source-bound-reference/(('leaf', 26), ('leaf', 26))", "all-original-compositions-with-source-bound-reference/(('leaf', 26), ('leaf', 29))", "all-original-compositions-with-source-bound-reference/(('leaf', 26), ('leaf', 56))", "all-original-compositions-with-source-bound-reference/(('leaf', 26), ('leaf', 59))", "all-original-compositions-with-source-bound-reference/(('leaf', 26), ('leaf', 62))", "all-original-compositions-with-source-bound-reference/(('leaf', 26), ('leaf', 89))", "all-original-compositions-with-source-bound-reference/(('leaf', 26), ('leaf', 92))", "all-original-compositions-with-source-bound-reference/(('leaf', 26), ('leaf', 95))", "all-original-compositions-with-source-bound-reference/(('leaf', 29), ('leaf', 23))", "all-original-compositions-with-source-bound-reference/(('leaf', 29), ('leaf', 26))", "all-original-compositions-with-source-bound-reference/(('leaf', 29), ('leaf', 29))", "all-original-compositions-with-source-bound-reference/(('leaf', 29), ('leaf', 56))", "all-original-compositions-with-source-bound-reference/(('leaf', 29), ('leaf', 59))", "all-original-compositions-with-source-bound-reference/(('leaf', 29), ('leaf', 62))", "all-original-compositions-with-source-bound-reference/(('leaf', 29), ('leaf', 89))", "all-original-compositions-with-source-bound-reference/(('leaf', 29), ('leaf', 92))", "all-original-compositions-with-source-bound-reference/(('leaf', 29), ('leaf', 95))", "all-original-compositions-with-source-bound-reference/(('leaf', 56), ('leaf', 23))", "all-original-compositions-with-source-bound-reference/(('leaf', 56), ('leaf', 26))", "all-original-compositions-with-source-bound-reference/(('leaf', 56), ('leaf', 29))", "all-original-compositions-with-source-bound-reference/(('leaf', 56), ('leaf', 56))", "all-original-compositions-with-source-bound-reference/(('leaf', 56), ('leaf', 59))", "all-original-compositions-with-source-bound-reference/(('leaf', 56), ('leaf', 62))", "all-original-compositions-with-source-bound-reference/(('leaf', 56), ('leaf', 89))", "all-original-compositions-with-source-bound-reference/(('leaf', 56), ('leaf', 92))", "all-original-compositions-with-source-bound-reference/(('leaf', 56), ('leaf', 95))", "all-original-compositions-with-source-bound-reference/(('leaf', 59), ('leaf', 23))", "all-original-compositions-with-source-bound-reference/(('leaf', 59), ('leaf', 26))", "all-original-compositions-with-source-bound-reference/(('leaf', 59), ('leaf', 29))", "all-original-compositions-with-source-bound-reference/(('leaf', 59), ('leaf', 56))", "all-original-compositions-with-source-bound-reference/(('leaf', 59), ('leaf', 59))", "all-original-compositions-with-source-bound-reference/(('leaf', 59), ('leaf', 62))", "all-original-compositions-with-source-bound-reference/(('leaf', 59), ('leaf', 89))", "all-original-compositions-with-source-bound-reference/(('leaf', 59), ('leaf', 92))", "all-original-compositions-with-source-bound-reference/(('leaf', 59), ('leaf', 95))", "all-original-compositions-with-source-bound-reference/(('leaf', 62), ('leaf', 23))", "all-original-compositions-with-source-bound-reference/(('leaf', 62), ('leaf', 26))", "all-original-compositions-with-source-bound-reference/(('leaf', 62), ('leaf', 29))", "all-original-compositions-with-source-bound-reference/(('leaf', 62), ('leaf', 56))", "all-original-compositions-with-source-bound-reference/(('leaf', 62), ('leaf', 59))", "all-original-compositions-with-source-bound-reference/(('leaf', 62), ('leaf', 62))", "all-original-compositions-with-source-bound-reference/(('leaf', 62), ('leaf', 89))", "all-original-compositions-with-source-bound-reference/(('leaf', 62), ('leaf', 92))", "all-original-compositions-with-source-bound-reference/(('leaf', 62), ('leaf', 95))", "all-original-compositions-with-source-bound-reference/(('leaf', 89), ('leaf', 23))", "all-original-compositions-with-source-bound-reference/(('leaf', 89), ('leaf', 26))", "all-original-compositions-with-source-bound-reference/(('leaf', 89), ('leaf', 29))", "all-original-compositions-with-source-bound-reference/(('leaf', 89), ('leaf', 56))", "all-original-compositions-with-source-bound-reference/(('leaf', 89), ('leaf', 59))", "all-original-compositions-with-source-bound-reference/(('leaf', 89), ('leaf', 62))", "all-original-compositions-with-source-bound-reference/(('leaf', 89), ('leaf', 89))", "all-original-compositions-with-source-bound-reference/(('leaf', 89), ('leaf', 92))", "all-original-compositions-with-source-bound-reference/(('leaf', 89), ('leaf', 95))", "all-original-compositions-with-source-bound-reference/(('leaf', 92), ('leaf', 23))", "all-original-compositions-with-source-bound-reference/(('leaf', 92), ('leaf', 26))", "all-original-compositions-with-source-bound-reference/(('leaf', 92), ('leaf', 29))", "all-original-compositions-with-source-bound-reference/(('leaf', 92), ('leaf', 56))", "all-original-compositions-with-source-bound-reference/(('leaf', 92), ('leaf', 59))", "all-original-compositions-with-source-bound-reference/(('leaf', 92), ('leaf', 62))", "all-original-compositions-with-source-bound-reference/(('leaf', 92), ('leaf', 89))", "all-original-compositions-with-source-bound-reference/(('leaf', 92), ('leaf', 92))", "all-original-compositions-with-source-bound-reference/(('leaf', 92), ('leaf', 95))", "all-original-compositions-with-source-bound-reference/(('leaf', 95), ('leaf', 23))", "all-original-compositions-with-source-bound-reference/(('leaf', 95), ('leaf', 26))", "all-original-compositions-with-source-bound-reference/(('leaf', 95), ('leaf', 29))", "all-original-compositions-with-source-bound-reference/(('leaf', 95), ('leaf', 56))", "all-original-compositions-with-source-bound-reference/(('leaf', 95), ('leaf', 59))", "all-original-compositions-with-source-bound-reference/(('leaf', 95), ('leaf', 62))", "all-original-compositions-with-source-bound-reference/(('leaf', 95), ('leaf', 89))", "all-original-compositions-with-source-bound-reference/(('leaf', 95), ('leaf', 92))", "all-original-compositions-with-source-bound-reference/(('leaf', 95), ('leaf', 95))", "all-original-compositions-with-source-bound-reference/(('leaf', 24), ('leaf', 24))", "all-original-compositions-with-source-bound-reference/(('leaf', 24), ('leaf', 27))", "all-original-compositions-with-source-bound-reference/(('leaf', 24), ('leaf', 30))", "all-original-compositions-with-source-bound-reference/(('leaf', 24), ('leaf', 57))", "all-original-compositions-with-source-bound-reference/(('leaf', 24), ('leaf', 60))", "all-original-compositions-with-source-bound-reference/(('leaf', 24), ('leaf', 63))", "all-original-compositions-with-source-bound-reference/(('leaf', 24), ('leaf', 90))", "all-original-compositions-with-source-bound-reference/(('leaf', 24), ('leaf', 93))", "all-original-compositions-with-source-bound-reference/(('leaf', 24), ('leaf', 96))", "all-original-compositions-with-source-bound-reference/(('leaf', 27), ('leaf', 24))", "all-original-compositions-with-source-bound-reference/(('leaf', 27), ('leaf', 27))", "all-original-compositions-with-source-bound-reference/(('leaf', 27), ('leaf', 30))", "all-original-compositions-with-source-bound-reference/(('leaf', 27), ('leaf', 57))", "all-original-compositions-with-source-bound-reference/(('leaf', 27), ('leaf', 60))", "all-original-compositions-with-source-bound-reference/(('leaf', 27), ('leaf', 63))", "all-original-compositions-with-source-bound-reference/(('leaf', 27), ('leaf', 90))", "all-original-compositions-with-source-bound-reference/(('leaf', 27), ('leaf', 93))", "all-original-compositions-with-source-bound-reference/(('leaf', 27), ('leaf', 96))", "all-original-compositions-with-source-bound-reference/(('leaf', 30), ('leaf', 24))", "all-original-compositions-with-source-bound-reference/(('leaf', 30), ('leaf', 27))", "all-original-compositions-with-source-bound-reference/(('leaf', 30), ('leaf', 30))", "all-original-compositions-with-source-bound-reference/(('leaf', 30), ('leaf', 57))", "all-original-compositions-with-source-bound-reference/(('leaf', 30), ('leaf', 60))", "all-original-compositions-with-source-bound-reference/(('leaf', 30), ('leaf', 63))", "all-original-compositions-with-source-bound-reference/(('leaf', 30), ('leaf', 90))", "all-original-compositions-with-source-bound-reference/(('leaf', 30), ('leaf', 93))", "all-original-compositions-with-source-bound-reference/(('leaf', 30), ('leaf', 96))", "all-original-compositions-with-source-bound-reference/(('leaf', 57), ('leaf', 24))", "all-original-compositions-with-source-bound-reference/(('leaf', 57), ('leaf', 27))", "all-original-compositions-with-source-bound-reference/(('leaf', 57), ('leaf', 30))", "all-original-compositions-with-source-bound-reference/(('leaf', 57), ('leaf', 57))", "all-original-compositions-with-source-bound-reference/(('leaf', 57), ('leaf', 60))", "all-original-compositions-with-source-bound-reference/(('leaf', 57), ('leaf', 63))", "all-original-compositions-with-source-bound-reference/(('leaf', 57), ('leaf', 90))", "all-original-compositions-with-source-bound-reference/(('leaf', 57), ('leaf', 93))", "all-original-compositions-with-source-bound-reference/(('leaf', 57), ('leaf', 96))", "all-original-compositions-with-source-bound-reference/(('leaf', 60), ('leaf', 24))", "all-original-compositions-with-source-bound-reference/(('leaf', 60), ('leaf', 27))", "all-original-compositions-with-source-bound-reference/(('leaf', 60), ('leaf', 30))", "all-original-compositions-with-source-bound-reference/(('leaf', 60), ('leaf', 57))", "all-original-compositions-with-source-bound-reference/(('leaf', 60), ('leaf', 60))", "all-original-compositions-with-source-bound-reference/(('leaf', 60), ('leaf', 63))", "all-original-compositions-with-source-bound-reference/(('leaf', 60), ('leaf', 90))", "all-original-compositions-with-source-bound-reference/(('leaf', 60), ('leaf', 93))", "all-original-compositions-with-source-bound-reference/(('leaf', 60), ('leaf', 96))", "all-original-compositions-with-source-bound-reference/(('leaf', 63), ('leaf', 24))", "all-original-compositions-with-source-bound-reference/(('leaf', 63), ('leaf', 27))", "all-original-compositions-with-source-bound-reference/(('leaf', 63), ('leaf', 30))", "all-original-compositions-with-source-bound-reference/(('leaf', 63), ('leaf', 57))", "all-original-compositions-with-source-bound-reference/(('leaf', 63), ('leaf', 60))", "all-original-compositions-with-source-bound-reference/(('leaf', 63), ('leaf', 63))", "all-original-compositions-with-source-bound-reference/(('leaf', 63), ('leaf', 90))", "all-original-compositions-with-source-bound-reference/(('leaf', 63), ('leaf', 93))", "all-original-compositions-with-source-bound-reference/(('leaf', 63), ('leaf', 96))", "all-original-compositions-with-source-bound-reference/(('leaf', 90), ('leaf', 24))", "all-original-compositions-with-source-bound-reference/(('leaf', 90), ('leaf', 27))", "all-original-compositions-with-source-bound-reference/(('leaf', 90), ('leaf', 30))", "all-original-compositions-with-source-bound-reference/(('leaf', 90), ('leaf', 57))", "all-original-compositions-with-source-bound-reference/(('leaf', 90), ('leaf', 60))", "all-original-compositions-with-source-bound-reference/(('leaf', 90), ('leaf', 63))", "all-original-compositions-with-source-bound-reference/(('leaf', 90), ('leaf', 90))", "all-original-compositions-with-source-bound-reference/(('leaf', 90), ('leaf', 93))", "all-original-compositions-with-source-bound-reference/(('leaf', 90), ('leaf', 96))", "all-original-compositions-with-source-bound-reference/(('leaf', 93), ('leaf', 24))", "all-original-compositions-with-source-bound-reference/(('leaf', 93), ('leaf', 27))", "all-original-compositions-with-source-bound-reference/(('leaf', 93), ('leaf', 30))", "all-original-compositions-with-source-bound-reference/(('leaf', 93), ('leaf', 57))", "all-original-compositions-with-source-bound-reference/(('leaf', 93), ('leaf', 60))", "all-original-compositions-with-source-bound-reference/(('leaf', 93), ('leaf', 63))", "all-original-compositions-with-source-bound-reference/(('leaf', 93), ('leaf', 90))", "all-original-compositions-with-source-bound-reference/(('leaf', 93), ('leaf', 93))", "all-original-compositions-with-source-bound-reference/(('leaf', 93), ('leaf', 96))", "all-original-compositions-with-source-bound-reference/(('leaf', 96), ('leaf', 24))", "all-original-compositions-with-source-bound-reference/(('leaf', 96), ('leaf', 27))", "all-original-compositions-with-source-bound-reference/(('leaf', 96), ('leaf', 30))", "all-original-compositions-with-source-bound-reference/(('leaf', 96), ('leaf', 57))", "all-original-compositions-with-source-bound-reference/(('leaf', 96), ('leaf', 60))", "all-original-compositions-with-source-bound-reference/(('leaf', 96), ('leaf', 63))", "all-original-compositions-with-source-bound-reference/(('leaf', 96), ('leaf', 90))", "all-original-compositions-with-source-bound-reference/(('leaf', 96), ('leaf', 93))", "all-original-compositions-with-source-bound-reference/(('leaf', 96), ('leaf', 96))", "all-original-compositions-with-source-bound-reference/(('leaf', 28), ('leaf', 28))", "all-original-compositions-with-source-bound-reference/(('leaf', 28), ('leaf', 31))", "all-original-compositions-with-source-bound-reference/(('leaf', 28), ('leaf', 61))", "all-original-compositions-with-source-bound-reference/(('leaf', 28), ('leaf', 64))", "all-original-compositions-with-source-bound-reference/(('leaf', 28), ('leaf', 94))", "all-original-compositions-with-source-bound-reference/(('leaf', 28), ('leaf', 97))", "all-original-compositions-with-source-bound-reference/(('leaf', 31), ('leaf', 28))", "all-original-compositions-with-source-bound-reference/(('leaf', 31), ('leaf', 31))", "all-original-compositions-with-source-bound-reference/(('leaf', 31), ('leaf', 61))", "all-original-compositions-with-source-bound-reference/(('leaf', 31), ('leaf', 64))", "all-original-compositions-with-source-bound-reference/(('leaf', 31), ('leaf', 94))", "all-original-compositions-with-source-bound-reference/(('leaf', 31), ('leaf', 97))", "all-original-compositions-with-source-bound-reference/(('leaf', 61), ('leaf', 28))", "all-original-compositions-with-source-bound-reference/(('leaf', 61), ('leaf', 31))", "all-original-compositions-with-source-bound-reference/(('leaf', 61), ('leaf', 61))", "all-original-compositions-with-source-bound-reference/(('leaf', 61), ('leaf', 64))", "all-original-compositions-with-source-bound-reference/(('leaf', 61), ('leaf', 94))", "all-original-compositions-with-source-bound-reference/(('leaf', 61), ('leaf', 97))", "all-original-compositions-with-source-bound-reference/(('leaf', 64), ('leaf', 28))", "all-original-compositions-with-source-bound-reference/(('leaf', 64), ('leaf', 31))", "all-original-compositions-with-source-bound-reference/(('leaf', 64), ('leaf', 61))", "all-original-compositions-with-source-bound-reference/(('leaf', 64), ('leaf', 64))", "all-original-compositions-with-source-bound-reference/(('leaf', 64), ('leaf', 94))", "all-original-compositions-with-source-bound-reference/(('leaf', 64), ('leaf', 97))", "all-original-compositions-with-source-bound-reference/(('leaf', 94), ('leaf', 28))", "all-original-compositions-with-source-bound-reference/(('leaf', 94), ('leaf', 31))", "all-original-compositions-with-source-bound-reference/(('leaf', 94), ('leaf', 61))", "all-original-compositions-with-source-bound-reference/(('leaf', 94), ('leaf', 64))", "all-original-compositions-with-source-bound-reference/(('leaf', 94), ('leaf', 94))", "all-original-compositions-with-source-bound-reference/(('leaf', 94), ('leaf', 97))", "all-original-compositions-with-source-bound-reference/(('leaf', 97), ('leaf', 28))", "all-original-compositions-with-source-bound-reference/(('leaf', 97), ('leaf', 31))", "all-original-compositions-with-source-bound-reference/(('leaf', 97), ('leaf', 61))", "all-original-compositions-with-source-bound-reference/(('leaf', 97), ('leaf', 64))", "all-original-compositions-with-source-bound-reference/(('leaf', 97), ('leaf', 94))", "all-original-compositions-with-source-bound-reference/(('leaf', 97), ('leaf', 97))", "all-original-compositions-with-source-bound-reference/(('leaf', 66), ('leaf', 66))", "all-original-compositions-with-source-bound-reference/(('leaf', 66), ('leaf', 69))", "all-original-compositions-with-source-bound-reference/(('leaf', 66), ('leaf', 76))", "all-original-compositions-with-source-bound-reference/(('leaf', 66), ('leaf', 99))", "all-original-compositions-with-source-bound-reference/(('leaf', 66), ('leaf', 102))", "all-original-compositions-with-source-bound-reference/(('leaf', 66), ('leaf', 109))", "all-original-compositions-with-source-bound-reference/(('leaf', 69), ('leaf', 66))", "all-original-compositions-with-source-bound-reference/(('leaf', 69), ('leaf', 69))", "all-original-compositions-with-source-bound-reference/(('leaf', 69), ('leaf', 76))", "all-original-compositions-with-source-bound-reference/(('leaf', 69), ('leaf', 99))", "all-original-compositions-with-source-bound-reference/(('leaf', 69), ('leaf', 102))", "all-original-compositions-with-source-bound-reference/(('leaf', 69), ('leaf', 109))", "all-original-compositions-with-source-bound-reference/(('leaf', 76), ('leaf', 66))", "all-original-compositions-with-source-bound-reference/(('leaf', 76), ('leaf', 69))", "all-original-compositions-with-source-bound-reference/(('leaf', 76), ('leaf', 76))", "all-original-compositions-with-source-bound-reference/(('leaf', 76), ('leaf', 99))", "all-original-compositions-with-source-bound-reference/(('leaf', 76), ('leaf', 102))", "all-original-compositions-with-source-bound-reference/(('leaf', 76), ('leaf', 109))", "all-original-compositions-with-source-bound-reference/(('leaf', 99), ('leaf', 66))", "all-original-compositions-with-source-bound-reference/(('leaf', 99), ('leaf', 69))", "all-original-compositions-with-source-bound-reference/(('leaf', 99), ('leaf', 76))", "all-original-compositions-with-source-bound-reference/(('leaf', 99), ('leaf', 99))", "all-original-compositions-with-source-bound-reference/(('leaf', 99), ('leaf', 102))", "all-original-compositions-with-source-bound-reference/(('leaf', 99), ('leaf', 109))", "all-original-compositions-with-source-bound-reference/(('leaf', 102), ('leaf', 66))", "all-original-compositions-with-source-bound-reference/(('leaf', 102), ('leaf', 69))", "all-original-compositions-with-source-bound-reference/(('leaf', 102), ('leaf', 76))", "all-original-compositions-with-source-bound-reference/(('leaf', 102), ('leaf', 99))", "all-original-compositions-with-source-bound-reference/(('leaf', 102), ('leaf', 102))", "all-original-compositions-with-source-bound-reference/(('leaf', 102), ('leaf', 109))", "all-original-compositions-with-source-bound-reference/(('leaf', 109), ('leaf', 66))", "all-original-compositions-with-source-bound-reference/(('leaf', 109), ('leaf', 69))", "all-original-compositions-with-source-bound-reference/(('leaf', 109), ('leaf', 76))", "all-original-compositions-with-source-bound-reference/(('leaf', 109), ('leaf', 99))", "all-original-compositions-with-source-bound-reference/(('leaf', 109), ('leaf', 102))", "all-original-compositions-with-source-bound-reference/(('leaf', 109), ('leaf', 109))", "all-original-compositions-with-source-bound-reference/(('leaf', 67), ('leaf', 67))", "all-original-compositions-with-source-bound-reference/(('leaf', 67), ('leaf', 70))", "all-original-compositions-with-source-bound-reference/(('leaf', 67), ('leaf', 73))", "all-original-compositions-with-source-bound-reference/(('leaf', 67), ('leaf', 100))", "all-original-compositions-with-source-bound-reference/(('leaf', 67), ('leaf', 103))", "all-original-compositions-with-source-bound-reference/(('leaf', 67), ('leaf', 106))", "all-original-compositions-with-source-bound-reference/(('leaf', 70), ('leaf', 67))", "all-original-compositions-with-source-bound-reference/(('leaf', 70), ('leaf', 70))", "all-original-compositions-with-source-bound-reference/(('leaf', 70), ('leaf', 73))", "all-original-compositions-with-source-bound-reference/(('leaf', 70), ('leaf', 100))", "all-original-compositions-with-source-bound-reference/(('leaf', 70), ('leaf', 103))", "all-original-compositions-with-source-bound-reference/(('leaf', 70), ('leaf', 106))", "all-original-compositions-with-source-bound-reference/(('leaf', 73), ('leaf', 67))", "all-original-compositions-with-source-bound-reference/(('leaf', 73), ('leaf', 70))", "all-original-compositions-with-source-bound-reference/(('leaf', 73), ('leaf', 73))", "all-original-compositions-with-source-bound-reference/(('leaf', 73), ('leaf', 100))", "all-original-compositions-with-source-bound-reference/(('leaf', 73), ('leaf', 103))", "all-original-compositions-with-source-bound-reference/(('leaf', 73), ('leaf', 106))", "all-original-compositions-with-source-bound-reference/(('leaf', 100), ('leaf', 67))", "all-original-compositions-with-source-bound-reference/(('leaf', 100), ('leaf', 70))", "all-original-compositions-with-source-bound-reference/(('leaf', 100), ('leaf', 73))", "all-original-compositions-with-source-bound-reference/(('leaf', 100), ('leaf', 100))", "all-original-compositions-with-source-bound-reference/(('leaf', 100), ('leaf', 103))", "all-original-compositions-with-source-bound-reference/(('leaf', 100), ('leaf', 106))", "all-original-compositions-with-source-bound-reference/(('leaf', 103), ('leaf', 67))", "all-original-compositions-with-source-bound-reference/(('leaf', 103), ('leaf', 70))", "all-original-compositions-with-source-bound-reference/(('leaf', 103), ('leaf', 73))", "all-original-compositions-with-source-bound-reference/(('leaf', 103), ('leaf', 100))", "all-original-compositions-with-source-bound-reference/(('leaf', 103), ('leaf', 103))", "all-original-compositions-with-source-bound-reference/(('leaf', 103), ('leaf', 106))", "all-original-compositions-with-source-bound-reference/(('leaf', 106), ('leaf', 67))", "all-original-compositions-with-source-bound-reference/(('leaf', 106), ('leaf', 70))", "all-original-compositions-with-source-bound-reference/(('leaf', 106), ('leaf', 73))", "all-original-compositions-with-source-bound-reference/(('leaf', 106), ('leaf', 100))", "all-original-compositions-with-source-bound-reference/(('leaf', 106), ('leaf', 103))", "all-original-compositions-with-source-bound-reference/(('leaf', 106), ('leaf', 106))", "all-original-compositions-with-source-bound-reference/(('leaf', 68), ('leaf', 68))", "all-original-compositions-with-source-bound-reference/(('leaf', 68), ('leaf', 71))", "all-original-compositions-with-source-bound-reference/(('leaf', 68), ('leaf', 74))", "all-original-compositions-with-source-bound-reference/(('leaf', 68), ('leaf', 101))", "all-original-compositions-with-source-bound-reference/(('leaf', 68), ('leaf', 104))", "all-original-compositions-with-source-bound-reference/(('leaf', 68), ('leaf', 107))", "all-original-compositions-with-source-bound-reference/(('leaf', 71), ('leaf', 68))", "all-original-compositions-with-source-bound-reference/(('leaf', 71), ('leaf', 71))", "all-original-compositions-with-source-bound-reference/(('leaf', 71), ('leaf', 74))", "all-original-compositions-with-source-bound-reference/(('leaf', 71), ('leaf', 101))", "all-original-compositions-with-source-bound-reference/(('leaf', 71), ('leaf', 104))", "all-original-compositions-with-source-bound-reference/(('leaf', 71), ('leaf', 107))", "all-original-compositions-with-source-bound-reference/(('leaf', 74), ('leaf', 68))", "all-original-compositions-with-source-bound-reference/(('leaf', 74), ('leaf', 71))", "all-original-compositions-with-source-bound-reference/(('leaf', 74), ('leaf', 74))", "all-original-compositions-with-source-bound-reference/(('leaf', 74), ('leaf', 101))", "all-original-compositions-with-source-bound-reference/(('leaf', 74), ('leaf', 104))", "all-original-compositions-with-source-bound-reference/(('leaf', 74), ('leaf', 107))", "all-original-compositions-with-source-bound-reference/(('leaf', 101), ('leaf', 68))", "all-original-compositions-with-source-bound-reference/(('leaf', 101), ('leaf', 71))", "all-original-compositions-with-source-bound-reference/(('leaf', 101), ('leaf', 74))", "all-original-compositions-with-source-bound-reference/(('leaf', 101), ('leaf', 101))", "all-original-compositions-with-source-bound-reference/(('leaf', 101), ('leaf', 104))", "all-original-compositions-with-source-bound-reference/(('leaf', 101), ('leaf', 107))", "all-original-compositions-with-source-bound-reference/(('leaf', 104), ('leaf', 68))", "all-original-compositions-with-source-bound-reference/(('leaf', 104), ('leaf', 71))", "all-original-compositions-with-source-bound-reference/(('leaf', 104), ('leaf', 74))", "all-original-compositions-with-source-bound-reference/(('leaf', 104), ('leaf', 101))", "all-original-compositions-with-source-bound-reference/(('leaf', 104), ('leaf', 104))", "all-original-compositions-with-source-bound-reference/(('leaf', 104), ('leaf', 107))", "all-original-compositions-with-source-bound-reference/(('leaf', 107), ('leaf', 68))", "all-original-compositions-with-source-bound-reference/(('leaf', 107), ('leaf', 71))", "all-original-compositions-with-source-bound-reference/(('leaf', 107), ('leaf', 74))", "all-original-compositions-with-source-bound-reference/(('leaf', 107), ('leaf', 101))", "all-original-compositions-with-source-bound-reference/(('leaf', 107), ('leaf', 104))", "all-original-compositions-with-source-bound-reference/(('leaf', 107), ('leaf', 107))", "all-original-compositions-with-source-bound-reference/(('leaf', 72), ('leaf', 72))", "all-original-compositions-with-source-bound-reference/(('leaf', 72), ('leaf', 75))", "all-original-compositions-with-source-bound-reference/(('leaf', 72), ('leaf', 105))", "all-original-compositions-with-source-bound-reference/(('leaf', 72), ('leaf', 108))", "all-original-compositions-with-source-bound-reference/(('leaf', 75), ('leaf', 72))", "all-original-compositions-with-source-bound-reference/(('leaf', 75), ('leaf', 75))", "all-original-compositions-with-source-bound-reference/(('leaf', 75), ('leaf', 105))", "all-original-compositions-with-source-bound-reference/(('leaf', 75), ('leaf', 108))", "all-original-compositions-with-source-bound-reference/(('leaf', 105), ('leaf', 72))", "all-original-compositions-with-source-bound-reference/(('leaf', 105), ('leaf', 75))", "all-original-compositions-with-source-bound-reference/(('leaf', 105), ('leaf', 105))", "all-original-compositions-with-source-bound-reference/(('leaf', 105), ('leaf', 108))", "all-original-compositions-with-source-bound-reference/(('leaf', 108), ('leaf', 72))", "all-original-compositions-with-source-bound-reference/(('leaf', 108), ('leaf', 75))", "all-original-compositions-with-source-bound-reference/(('leaf', 108), ('leaf', 105))", "all-original-compositions-with-source-bound-reference/(('leaf', 108), ('leaf', 108))", "all-original-compositions-with-source-bound-reference/(('leaf', 121), ('leaf', 121))", "all-original-compositions-with-source-bound-reference/(('leaf', 122), ('leaf', 122))", "all-original-compositions-with-source-bound-reference/(('leaf', 123), ('leaf', 123))", "all-original-compositions-with-source-bound-reference/(('leaf', 124), ('leaf', 124))", "all-original-compositions-with-source-bound-reference/(('leaf', 125), ('leaf', 125))", "all-original-compositions-with-source-bound-reference/(('leaf', 126), ('leaf', 126))", "all-original-compositions-with-source-bound-reference/(('leaf', 127), ('leaf', 127))", "all-original-compositions-with-source-bound-reference/(('leaf', 128), ('leaf', 128))", "all-original-compositions-with-source-bound-reference/(('leaf', 129), ('leaf', 129))", "all-original-compositions-with-source-bound-reference/(('leaf', 130), ('leaf', 130))", "all-original-compositions-with-source-bound-reference/(('leaf', 131), ('leaf', 131))", "all-original-compositions-with-source-bound-reference/(('leaf', 132), ('leaf', 132))", "all-original-compositions-with-source-bound-reference/(('leaf', 133), ('leaf', 133))", "all-original-compositions-with-source-bound-reference/(('leaf', 134), ('leaf', 134))", "all-original-compositions-with-source-bound-reference/(('leaf', 135), ('leaf', 135))", "all-original-compositions-with-source-bound-reference/(('leaf', 136), ('leaf', 136))", "977-original-pairs-checked", "pinned-T9-J4-unchanged", "wrong-resource-not-rescaled", "consumed-bank-reference-not-fabricated", "boundary-change-not-hidden-by-matching-coordinates", "boundary-provenance-required", "wrong-object-roles-rejected", "passive-boundary-coordinate-change-not-normalization-knob" ], "positive_chain": "Explicit source resource -> conservative retained memory -> existing algebraic operator representation -> declared A,B identifications -> existing flat record attachments -> pinned exact-domain T9.", "reference": "2I from explicit2*unit source; inverseI/2; no mismatch rescaling", "original_records": 137, "selected_final_records": 32, "original_compositions_checked": 977, "source_history_and_boundary_provenance_retained": true, "software_binding_complete": true, "conditional_reference_binding_complete": true, "physical_source_calibration_derived": false, "physical_generator_identified": false, "remaining_supplied": [ "two-unit preparation/units", "physical C,R,L realization and event clock", "A,B/operator-space identifications", "flat port frames/physical reference connection", "detector/back-action and resource reuse/reset/degradation" ], "lifecycle": "Stored and delayed snapshots have equal operators but different retained histories. Third-step active-bank depletion is not ignored.", "scope": "Exact mathematical protocol binding, not an empirical apparatus or source-derived physical normalization.", "inputs_sha256": { "strominger/checkers/check_reference_port_binding.py": "5695c6802d9a3c8bc3d6db3fad1b59df500fef1d45ea672059ff7c4037dea8f5", "strominger/checkers/reference_port_binding.py": "174d1c553f83bfad746ab92b5efc5008080ab689cfc247cee62d55732f497599", "strominger/checkers/retained_reference_protocol.py": "0337e5751a6315acd41d0aeb245d9f0216cf4063dc38d86dbba9eb5840cd3686", "nima/contracts/T9-exact-domain-software.v1.json": "63e4ca0e2cd282655bed93aff4553cd2b6453d3c9c6980b1116f9c452f568d06" } }