[{"run":"omninotes-Rep1","app":"omninotes","rep":"Rep1","run_id":"omninotes-rep1-pure-b1","executions":2601,"states":156,"state_pairs":629,"model_transition_triples":1007,"self_loops":852,"back_executions":446,"segments":81,"discontinuities":{"run_start":1,"abstraction_gap":5,"state_gap":35,"GUI_gap":74},"unconfirmed_native":0,"restart_count":null,"restart_status":"not separately certified; all gaps segment, no inferred restart links","final_states":146,"final_id_events":2465,"A_final_non_singleton":35,"A_flow_non_singleton":36,"infomap_modules":{"G1":40,"G2":39,"G3":42},"entry_groups":12,"ppr_local_solutions":12,"version_sensitivity":{"raw_states":156,"version_scoped_states":275,"raw_modules":40,"version_scoped_modules":55,"version_scoped_partition":[["14:g10s33","14:g10s36","14:g10s43","14:g10s44","14:g10s63","14:g10s64","14:g10s79","14:g10s80","14:g10s81","14:g10s82","14:g11s87","14:g11s88","14:g14s111","14:g14s112","14:g14s113","14:g14s115","14:g14s116","14:g14s118","14:g14s119","14:g9s25"],["13:g0s0","13:g0s2","13:g10s39","13:g10s42","13:g10s48","13:g10s50","13:g13s102","13:g2s5","13:g3s9","13:g8s19","13:g8s20","13:g9s23"],["16:g15s124","16:g16s128","16:g16s129","16:g16s130","16:g16s131","16:g16s132","16:g16s134","16:g16s135","16:g16s136","16:g16s137","16:g16s138"],["10:g0s1","10:g10s43","10:g10s56","10:g10s57","10:g10s58","10:g10s59","10:g10s60","10:g10s74","10:g10s75"],["10:g0s2","10:g10s37","10:g10s38","10:g10s39","10:g10s48","10:g10s49","10:g10s50","10:g2s6","10:g8s19"],["14:g10s39","14:g10s41","14:g10s48","14:g13s102","14:g2s5","14:g5s13","14:g8s19","14:g8s20","14:g9s23"],["16:g0s0","16:g0s1","16:g0s2","16:g10s36","16:g10s43","16:g10s52","16:g10s56","16:g10s81","16:g11s88"],["10:g10s36","10:g10s61","10:g10s62","10:g10s64","10:g10s76","10:g10s81","10:g10s85","10:g9s25"],["10:g10s66","10:g10s67","10:g10s68","10:g10s69","10:g10s70","10:g10s71","10:g10s73","10:g10s83"],["0:g0s0","0:g0s1","0:g0s2","2:g2s5","2:g2s6","2:g2s7","2:g2s8"],["10:g10s33","10:g10s34","10:g10s65","10:g10s72","10:g10s79","10:g10s82","10:g10s84"],["11:g10s36","11:g10s43","11:g10s52","11:g10s79","11:g11s88","11:g11s89","11:g9s25"],["16:g10s59","16:g10s60","16:g10s79","16:g14s115","16:g16s141","16:g16s154","16:g16s155"],["16:g10s82","16:g14s113","16:g14s116","16:g14s119","16:g16s139","16:g16s142","16:g16s143"],["16:g16s160","16:g16s161","16:g16s162","16:g16s163","16:g16s168","16:g16s169","16:g16s170"],["10:g10s44","10:g10s45","10:g10s46","10:g10s47","10:g9s26","10:g9s29"],["11:g0s2","11:g10s38","11:g3s9","11:g7s18","11:g8s20","11:g9s22"],["16:g10s34","16:g10s67","16:g10s72","16:g10s73","16:g16s148","16:g16s149"],["16:g10s63","16:g10s64","16:g10s65","16:g11s87","16:g16s147","16:g9s25"],["9:g0s1","9:g0s2","9:g2s5","9:g8s20","9:g9s22","9:g9s23"],["9:g9s24","9:g9s25","9:g9s26","9:g9s27","9:g9s28","9:g9s29"],["10:g10s51","10:g10s52","10:g10s53","10:g10s54","10:g10s55"],["10:g11s87","11:g10s63","11:g10s64","11:g10s77","11:g11s87"],["15:g15s122","15:g15s123","15:g15s124","15:g15s125","15:g15s126"],["16:g10s44","16:g10s80","16:g16s173","16:g16s174","16:g16s175"],["16:g10s74","16:g14s106","16:g14s107","16:g14s109","16:g16s146"],["6:g5s13","6:g6s16","7:g2s5","7:g7s18","8:g8s20"],["10:g10s63","10:g10s77","10:g10s78","10:g10s80"],["14:g0s1","14:g0s2","14:g10s52","14:g10s74"],["14:g14s106","14:g14s107","14:g14s108","14:g14s109"],["16:g16s150","16:g16s157","16:g16s158","16:g16s159"],["16:g16s151","16:g16s152","16:g16s153","16:g16s176"],["16:g16s164","16:g16s165","16:g16s171","16:g16s172"],["10:g10s30","10:g10s32","10:g10s35"],["10:g10s40","10:g10s41","10:g10s42"],["13:g0s1","13:g11s91","13:g13s101"],["13:g5s13","13:g7s18","13:g9s21"],["14:g10s56","14:g10s57","14:g14s105"],["14:g10s60","14:g14s110","14:g14s114"],["16:g14s110","16:g14s114","16:g16s145"],["16:g15s122","16:g15s125","16:g16s133"],["16:g9s26","16:g9s27","16:g9s28"],["11:g11s90","11:g11s91"],["14:g14s117","14:g14s120"],["16:g11s91","16:g13s101"],["16:g14s108","16:g16s144"],["16:g16s166","16:g16s167"],["3:g2s5","3:g3s10"],["3:g2s8","3:g3s9"],["5:g2s8","5:g5s13"],["12:g11s91"],["16:g10s75"],["16:g16s140"],["16:g16s156"],["16:g16s177"]],"codelength":3.345219905400668}},{"run":"omninotes-Rep2","app":"omninotes","rep":"Rep2","run_id":"run_b63b8aa7d209420da11e13460b78ecc6","executions":2356,"states":140,"state_pairs":519,"model_transition_triples":841,"self_loops":696,"back_executions":460,"segments":117,"discontinuities":{"run_start":1,"abstraction_gap":5,"state_gap":19,"GUI_gap":111},"unconfirmed_native":0,"restart_count":null,"restart_status":"not separately certified; all gaps segment, no inferred restart links","final_states":129,"final_id_events":2226,"A_final_non_singleton":43,"A_flow_non_singleton":46,"infomap_modules":{"G1":36,"G2":37,"G3":36},"entry_groups":12,"ppr_local_solutions":12,"version_sensitivity":{"raw_states":140,"version_scoped_states":221,"raw_modules":36,"version_scoped_modules":48,"version_scoped_partition":[["10:g0s4","10:g0s5","10:g10s100","10:g10s101","10:g10s102","10:g10s105","10:g10s106","10:g10s107","10:g10s108","10:g10s111","10:g10s112","10:g1s10","10:g1s11","10:g1s13","10:g8s39","10:g8s45","10:g8s51","10:g8s59","10:g8s60","10:g8s64"],["8:g1s16","8:g3s19","8:g4s21","8:g4s22","8:g6s25","8:g6s26","8:g6s27","8:g7s29","8:g8s32","8:g8s33","8:g8s34","8:g8s35","8:g8s36","8:g8s74","8:g8s75","8:g8s76","8:g8s77"],["9:g1s14","9:g8s34","9:g8s51","9:g8s69","9:g8s70","9:g8s71","9:g8s73","9:g9s86","9:g9s87","9:g9s88"],["14:g0s0","14:g0s1","14:g8s34","14:g8s38","14:g8s39","14:g8s45","14:g8s51","14:g8s53"],["14:g10s104","14:g14s131","14:g14s132","14:g14s145","14:g8s59","14:g8s60","14:g8s61","14:g8s64"],["8:g0s4","8:g1s12","8:g8s39","8:g8s54","8:g8s55","8:g8s56","8:g8s57","8:g8s58"],["0:g0s3","0:g0s4","0:g0s5","0:g0s6","0:g0s7","0:g0s8","0:g0s9"],["14:g14s127","14:g14s128","14:g14s129","14:g14s130","14:g8s46","14:g8s47","14:g8s48"],["14:g14s152","14:g14s153","14:g14s154","14:g14s155","14:g14s156","14:g14s157","14:g14s158"],["8:g8s51","8:g8s68","8:g8s69","8:g8s70","8:g8s71","8:g8s72","8:g8s73"],["14:g0s2","14:g14s134","14:g14s138","14:g14s151","14:g1s10","14:g1s11"],["1:g0s4","1:g0s9","1:g1s10","1:g1s12","1:g1s13","1:g1s14"],["10:g10s104","10:g8s46","10:g8s52","10:g8s54","10:g8s55"],["14:g14s142","14:g14s143","14:g14s144","14:g14s150","14:g8s65"],["6:g6s27","7:g7s29","8:g8s31","8:g8s78","8:g8s79"],["8:g0s5","8:g8s60","8:g8s61","8:g8s62","8:g8s63"],["8:g8s40","8:g8s41","8:g8s42","8:g8s43","8:g8s44"],["8:g9s85","9:g6s26","9:g8s32","9:g8s33","9:g9s85"],["10:g0s0","10:g0s1","10:g8s53","10:g9s90"],["11:g10s113","11:g11s116","11:g11s117","11:g11s118"],["14:g14s139","14:g14s140","14:g14s141","14:g14s159"],["1:g0s1","1:g1s15","1:g1s16","3:g3s19"],["8:g0s1","8:g8s38","8:g8s53","8:g8s59"],["8:g8s47","8:g8s48","8:g8s49","8:g8s50"],["8:g8s80","8:g8s81","8:g8s82","8:g8s83"],["0:g0s0","0:g0s1","0:g0s2"],["10:g10s103","10:g10s113","11:g11s115"],["10:g10s109","10:g10s110","10:g8s34"],["11:g11s119","11:g11s120","11:g11s121"],["12:g11s121","12:g12s122","12:g12s123"],["14:g0s5","14:g14s148","14:g14s149"],["14:g10s112","14:g14s135","14:g14s136"],["14:g1s12","14:g1s13","14:g8s52"],["14:g8s54","14:g8s56","14:g8s57"],["4:g1s16","4:g4s21","4:g4s22"],["13:g11s118","13:g12s122"],["14:g0s4","14:g14s133"],["14:g14s126","14:g9s90"],["14:g14s146","14:g14s147"],["6:g6s25","6:g6s26"],["8:g8s45","8:g8s46"],["8:g8s64","8:g8s65"],["8:g8s66","8:g8s67"],["9:g9s89","9:g9s90"],["14:g10s107"],["14:g14s137"],["8:g8s37"],["8:g8s52"]],"codelength":2.990924842473974}},{"run":"odkcollect-Rep1","app":"odkcollect","rep":"Rep1","run_id":"odkcollect-rep1-pure-b1","executions":2074,"states":52,"state_pairs":155,"model_transition_triples":267,"self_loops":126,"back_executions":920,"segments":136,"discontinuities":{"run_start":1,"GUI_gap":132,"abstraction_gap":3,"state_gap":11},"unconfirmed_native":0,"restart_count":null,"restart_status":"not separately certified; all gaps segment, no inferred restart links","final_states":49,"final_id_events":2047,"A_final_non_singleton":19,"A_flow_non_singleton":16,"infomap_modules":{"G1":16,"G2":16,"G3":18},"entry_groups":9,"ppr_local_solutions":9,"version_sensitivity":{"raw_states":52,"version_scoped_states":91,"raw_modules":16,"version_scoped_modules":22,"version_scoped_partition":[["16:g14s61","16:g16s70","16:g16s71","16:g1s1","16:g1s4","16:g1s6","16:g3s11","16:g5s17","16:g5s21","16:g5s25"],["5:g1s1","5:g5s17","5:g5s21","5:g5s22","5:g5s23","5:g5s24","5:g5s25"],["15:g12s52","15:g14s63","15:g15s65","15:g15s66","15:g15s67","15:g8s33"],["11:g11s49","11:g8s31","11:g9s35","12:g12s51","12:g9s35"],["12:g12s52","12:g12s53","12:g12s54","12:g12s55","12:g5s18"],["12:g12s56","12:g12s57","12:g12s58","12:g1s1","12:g5s21"],["14:g14s61","14:g14s62","14:g14s63","14:g5s21","14:g5s22"],["1:g1s1","1:g1s2","1:g1s3","1:g1s4","1:g1s5"],["7:g5s17","8:g8s31","8:g8s32","8:g8s33","8:g8s34"],["5:g3s11","5:g3s12","5:g5s15","5:g5s16"],["7:g1s1","7:g5s25","7:g7s28","7:g7s29"],["9:g8s33","9:g8s34","9:g9s35","9:g9s36"],["15:g14s62","15:g15s64","15:g5s21"],["15:g1s1","15:g5s17","16:g16s69"],["16:g12s52","16:g14s63","16:g8s33"],["16:g16s72","16:g16s73","16:g16s74"],["3:g1s1","3:g3s11","3:g3s12"],["5:g5s18","5:g5s19","5:g5s20"],["10:g11s48","11:g11s48"],["16:g1s2","16:g1s3"],["1:g1s6","1:g1s7"],["3:g1s6","3:g3s10"]],"codelength":2.4883848283365966}},{"run":"odkcollect-Rep2","app":"odkcollect","rep":"Rep2","run_id":"run_5838d6022fac47b48d4524d1402960a8","executions":2167,"states":63,"state_pairs":200,"model_transition_triples":315,"self_loops":214,"back_executions":915,"segments":128,"discontinuities":{"run_start":1,"abstraction_gap":5,"state_gap":13,"GUI_gap":121},"unconfirmed_native":0,"restart_count":null,"restart_status":"not separately certified; all gaps segment, no inferred restart links","final_states":55,"final_id_events":2079,"A_final_non_singleton":20,"A_flow_non_singleton":21,"infomap_modules":{"G1":16,"G2":15,"G3":20},"entry_groups":9,"ppr_local_solutions":8,"version_sensitivity":{"raw_states":63,"version_scoped_states":130,"raw_modules":16,"version_scoped_modules":31,"version_scoped_partition":[["18:g11s36","18:g11s37","18:g11s38","18:g11s42","18:g17s71","18:g18s72","18:g18s73","18:g1s1","18:g1s2","18:g3s8","18:g9s31","18:g9s32"],["20:g11s37","20:g11s38","20:g11s42","20:g18s72","20:g19s75","20:g1s1","20:g1s2","20:g20s77","20:g20s82","20:g3s8","20:g9s31"],["13:g12s50","13:g13s52","13:g13s53","13:g13s55","13:g13s56","13:g13s57","13:g13s58"],["16:g11s42","16:g1s1","16:g1s2","16:g7s24","16:g7s25","17:g17s71"],["16:g12s47","16:g16s66","16:g7s18","16:g7s19","16:g7s22","16:g7s23"],["1:g1s1","1:g1s2","3:g1s2","3:g3s5","3:g3s6","3:g3s7"],["11:g11s37","11:g11s38","11:g11s39","11:g11s40","11:g11s41"],["11:g11s42","11:g1s1","11:g1s2","11:g3s8","11:g7s25"],["13:g14s60","14:g12s50","14:g14s60","14:g14s61","14:g6s14"],["15:g11s42","15:g12s50","15:g15s62","15:g1s1","15:g6s14"],["5:g5s12","6:g3s8","6:g5s12","6:g6s14","6:g6s15"],["7:g1s1","7:g7s22","7:g7s23","7:g7s24","7:g7s25"],["11:g11s43","11:g11s44","11:g11s45","11:g7s18"],["20:g20s78","20:g20s79","20:g20s80","20:g20s81"],["3:g1s1","3:g3s8","5:g3s8","5:g5s11"],["7:g3s8","7:g6s15","7:g7s17","7:g7s18"],["9:g7s25","9:g9s28","9:g9s29","9:g9s30"],["11:g11s46","11:g6s14","11:g7s21"],["16:g12s50","16:g16s65","16:g6s14"],["16:g16s67","16:g16s68","16:g16s69"],["20:g12s50","20:g16s68","20:g6s14"],["7:g7s19","7:g7s20","7:g7s21"],["9:g1s1","9:g9s31","9:g9s32"],["11:g11s35","11:g9s31"],["11:g11s36","11:g9s32"],["12:g11s46","12:g12s50"],["16:g3s8","16:g7s17"],["18:g14s60","18:g6s14"],["19:g19s75","19:g1s2"],["16:g16s64"],["18:g9s29"]],"codelength":2.740322130205471}},{"run":"scarletnotes-Rep1","app":"scarletnotes","rep":"Rep1","run_id":"scarletnotes-rep1-pure-b1","executions":2559,"states":159,"state_pairs":621,"model_transition_triples":991,"self_loops":1235,"back_executions":438,"segments":35,"discontinuities":{"run_start":1,"state_gap":21,"abstraction_gap":5,"GUI_gap":21},"unconfirmed_native":0,"restart_count":null,"restart_status":"not separately certified; all gaps segment, no inferred restart links","final_states":91,"final_id_events":1810,"A_final_non_singleton":21,"A_flow_non_singleton":42,"infomap_modules":{"G1":51,"G2":48,"G3":51},"entry_groups":3,"ppr_local_solutions":3,"version_sensitivity":{"raw_states":159,"version_scoped_states":326,"raw_modules":51,"version_scoped_modules":81,"version_scoped_partition":[["39:g19s48","39:g1s1","39:g36s105","39:g37s108","39:g37s109","39:g37s110","39:g38s114","39:g38s117","39:g38s119","39:g38s120","39:g39s124","39:g39s127","39:g7s15","39:g9s19","39:g9s20","39:g9s21"],["40:g19s48","40:g1s1","40:g20s50","40:g20s52","40:g21s55","40:g38s114","40:g38s115","40:g40s139","40:g40s148","40:g40s149","40:g40s150","40:g40s151","40:g40s153","40:g40s154"],["44:g19s48","44:g20s50","44:g20s52","44:g21s54","44:g21s55","44:g23s60","44:g37s107","44:g38s114","44:g40s130","44:g41s158","44:g41s171","44:g44s188","44:g44s189"],["53:g19s48","53:g20s52","53:g21s54","53:g21s55","53:g23s60","53:g38s114","53:g39s124","53:g40s130","53:g41s171","53:g44s189","53:g49s206","53:g53s215"],["41:g1s1","41:g20s50","41:g21s53","41:g21s54","41:g23s60","41:g36s105","41:g37s107","41:g38s114","41:g41s166","41:g41s167","41:g41s173"],["37:g19s48","37:g1s1","37:g22s57","37:g23s61","37:g36s105","37:g37s108","37:g7s15","37:g9s19","37:g9s20","37:g9s21"],["41:g20s52","41:g21s55","41:g40s149","41:g40s150","41:g40s151","41:g41s160","41:g41s162","41:g41s163","41:g41s171","41:g41s174"],["38:g37s108","38:g37s112","38:g38s119","38:g38s120","38:g38s121","38:g7s15","38:g9s19","38:g9s20","38:g9s21"],["40:g26s74","40:g29s79","40:g35s103","40:g35s97","40:g36s105","40:g40s131","40:g40s132","40:g40s135","40:g40s136"],["11:g11s27","14:g14s31","14:g7s15","17:g17s35","17:g17s36","17:g17s37","17:g17s38","7:g10s25"],["23:g1s1","23:g23s62","23:g23s63","23:g23s64","23:g23s65","23:g23s66","23:g23s67","23:g23s68"],["45:g19s48","45:g20s52","45:g21s54","45:g23s60","45:g36s105","45:g38s114","45:g38s117","45:g39s124"],["35:g26s74","35:g35s100","35:g35s101","35:g35s102","35:g35s103","35:g35s98","35:g35s99"],["41:g42s180","42:g18s45","42:g38s114","42:g40s130","42:g41s171","42:g42s180","42:g7s15"],["19:g19s47","19:g19s48","20:g19s47","20:g20s50","20:g20s51","20:g20s52"],["45:g26s74","45:g45s192","45:g45s193","45:g45s194","45:g45s195","45:g45s196"],["17:g17s39","17:g17s40","17:g17s41","17:g17s42","17:g7s15"],["22:g21s55","23:g21s53","23:g23s59","23:g23s60","23:g23s61"],["34:g34s89","35:g35s91","35:g35s92","35:g35s93","35:g35s94"],["35:g36s105","36:g21s53","36:g23s60","36:g36s105","37:g37s107"],["40:g37s107","40:g39s126","40:g40s155","40:g40s156","40:g40s157"],["41:g37s109","41:g37s112","41:g40s130","41:g41s176","41:g7s15"],["42:g26s74","42:g29s79","42:g36s105","42:g40s132","42:g42s181"],["26:g26s73","26:g26s74","27:g26s74","27:g27s76"],["29:g26s74","29:g29s79","29:g29s80","30:g30s82"],["2:g3s6","4:g4s10","4:g4s8","4:g4s9"],["38:g17s41","38:g37s109","38:g38s117","38:g38s118"],["38:g19s48","38:g37s107","38:g38s115","38:g38s116"],["40:g39s123","40:g40s137","40:g40s138","40:g40s140"],["40:g40s142","40:g40s143","40:g40s144","40:g40s145"],["42:g43s185","43:g26s74","43:g40s132","43:g43s185"],["49:g20s50","49:g41s171","49:g49s206","51:g51s209"],["52:g41s171","52:g52s211","52:g52s212","52:g52s213"],["53:g26s74","53:g36s105","53:g44s187","53:g44s188"],["17:g18s45","18:g18s45","18:g7s15"],["1:g1s1","2:g2s3","2:g2s4"],["21:g20s51","21:g20s52","21:g21s55"],["30:g30s83","32:g26s74","32:g32s86"],["35:g35s95","35:g35s96","35:g35s97"],["37:g23s62","37:g23s63","37:g23s67"],["37:g37s109","37:g37s110","37:g37s112"],["37:g38s114","38:g1s1","38:g38s114"],["39:g38s115","39:g39s125","39:g39s126"],["39:g39s128","40:g37s112","40:g40s130"],["40:g35s92","40:g40s133","40:g40s134"],["41:g40s156","41:g40s157","41:g41s161"],["44:g26s74","44:g36s105","44:g44s187"],["45:g37s109","45:g40s130","45:g7s15"],["45:g49s205","49:g43s185","49:g49s205"],["49:g26s74","49:g35s92","49:g35s95"],["5:g5s12","6:g4s10","6:g6s14"],["7:g6s14","7:g7s15","7:g7s16"],["23:g22s57","23:g23s69"],["40:g38s120","40:g7s15"],["40:g40s146","40:g40s147"],["41:g38s121","41:g39s127"],["41:g39s126","41:g41s168"],["41:g40s144","41:g41s165"],["41:g41s169","41:g41s170"],["41:g41s177","41:g41s178"],["42:g42s182","42:g42s183"],["53:g41s164","53:g7s15"],["17:g17s43"],["37:g37s111"],["38:g37s111"],["39:g39s123"],["40:g35s95"],["40:g37s111"],["40:g40s141"],["40:g40s152"],["41:g19s48"],["41:g23s61"],["41:g37s110"],["41:g37s111"],["41:g38s117"],["41:g38s119"],["41:g38s120"],["41:g41s159"],["41:g41s164"],["41:g41s172"],["41:g41s175"]],"codelength":2.553537890427628}},{"run":"scarletnotes-Rep2","app":"scarletnotes","rep":"Rep2","run_id":"run_87841e2157e0450d91cbb0ab8f1901d4","executions":2443,"states":133,"state_pairs":506,"model_transition_triples":791,"self_loops":389,"back_executions":806,"segments":118,"discontinuities":{"run_start":1,"state_gap":23,"abstraction_gap":4,"GUI_gap":105},"unconfirmed_native":0,"restart_count":null,"restart_status":"not separately certified; all gaps segment, no inferred restart links","final_states":67,"final_id_events":1940,"A_final_non_singleton":18,"A_flow_non_singleton":36,"infomap_modules":{"G1":35,"G2":35,"G3":42},"entry_groups":3,"ppr_local_solutions":3,"version_sensitivity":{"raw_states":133,"version_scoped_states":261,"raw_modules":35,"version_scoped_modules":53,"version_scoped_partition":[["64:g66s196","66:g12s25","66:g1s1","66:g47s112","66:g47s113","66:g48s114","66:g49s129","66:g50s131","66:g59s159","66:g59s161","66:g60s163","66:g62s176","66:g62s177","66:g62s179","66:g62s181","66:g66s196","66:g66s198","66:g66s199"],["69:g12s24","69:g12s25","69:g12s26","69:g1s1","69:g38s89","69:g38s90","69:g47s113","69:g49s129","69:g59s161","69:g60s163","69:g62s175","69:g62s176","69:g62s177","69:g62s179","69:g66s196","69:g69s212"],["62:g12s25","62:g1s1","62:g47s112","62:g47s113","62:g48s114","62:g48s115","62:g49s121","62:g49s129","62:g59s161","62:g60s163","62:g62s173","62:g62s174","62:g62s175","62:g62s179"],["48:g47s113","48:g48s114","49:g48s114","49:g49s117","49:g49s118","49:g49s119","49:g49s122","49:g49s123","49:g49s124","49:g49s125","49:g49s126","49:g49s127"],["68:g46s108","68:g47s112","68:g48s114","68:g48s115","68:g49s129","68:g52s140","68:g59s161","68:g62s179","68:g66s196","68:g68s206","68:g68s207"],["62:g46s108","62:g51s138","62:g54s144","62:g57s148","62:g57s149","62:g57s150","62:g57s151","62:g62s177","62:g62s180","62:g9s17"],["17:g16s32","17:g16s33","17:g17s36","18:g18s38","20:g17s36","20:g20s41","21:g17s36","21:g21s43"],["29:g30s68","31:g31s70","31:g31s71","32:g17s36","32:g32s73","32:g32s74","36:g36s85","36:g36s86"],["46:g3s4","46:g3s5","46:g46s106","46:g46s107","46:g46s108","46:g46s110","46:g8s16","46:g9s17"],["59:g12s25","59:g47s112","59:g49s122","59:g49s124","59:g49s129","59:g59s159","59:g59s160"],["10:g10s19","10:g9s17","11:g11s21","11:g9s17","9:g8s16","9:g9s17"],["12:g12s24","12:g12s25","12:g12s26","12:g1s1","13:g13s28","16:g16s32"],["45:g17s36","45:g38s89","45:g45s101","45:g45s102","45:g45s103","45:g45s104"],["59:g49s126","59:g59s161","60:g47s113","60:g60s163","60:g60s164","60:g60s165"],["68:g17s36","68:g45s103","68:g68s202","68:g68s203","68:g68s204","68:g68s205"],["68:g62s174","68:g68s208","69:g62s174","69:g68s208","69:g69s210","69:g69s211"],["23:g26s54","27:g27s57","27:g27s58","27:g27s59","27:g27s60"],["49:g49s128","49:g49s129","50:g50s131","50:g50s132","50:g50s133"],["57:g57s152","57:g57s153","57:g57s154","57:g57s155","57:g9s17"],["60:g38s89","60:g51s138","60:g57s148","60:g60s166","60:g9s17"],["2:g3s5","4:g4s7","4:g4s8","4:g4s9"],["36:g38s89","38:g38s89","41:g17s36","41:g41s94"],["50:g50s134","50:g50s135","50:g50s136","50:g9s17"],["50:g51s138","51:g49s129","51:g50s131","51:g51s138"],["52:g3s4","52:g3s5","52:g46s107","52:g48s115"],["60:g17s36","60:g45s104","60:g60s167","60:g60s168"],["60:g62s171","62:g38s89","62:g38s90","62:g62s171"],["62:g12s24","62:g13s28","62:g50s131","62:g62s178"],["66:g17s36","66:g27s60","66:g38s89","66:g38s90"],["7:g4s8","7:g7s13","7:g7s14","8:g8s16"],["16:g16s33","16:g16s34","16:g16s35"],["23:g17s36","23:g23s46","23:g23s47"],["27:g29s64","29:g29s64","29:g29s65"],["42:g17s36","42:g38s89","42:g42s96"],["47:g46s106","47:g47s112","47:g47s113"],["49:g38s89","49:g47s112","49:g48s115"],["54:g49s122","54:g54s143","56:g56s147"],["57:g46s108","57:g54s144","59:g59s158"],["62:g11s22","62:g62s182","62:g62s183"],["62:g49s126","62:g60s165","62:g60s166"],["69:g69s213","69:g69s214","69:g69s215"],["11:g11s22","11:g1s1"],["1:g1s1","2:g2s3"],["44:g17s36","44:g44s99"],["49:g49s120","49:g49s121"],["52:g50s131","52:g52s140"],["62:g27s60","62:g29s65"],["62:g49s122","62:g62s181"],["62:g64s188","64:g64s193"],["29:g29s63"],["46:g46s109"],["52:g46s109"],["62:g62s176"]],"codelength":2.8953816282525384}},{"run":"wikipedia-Rep1","app":"wikipedia","rep":"Rep1","run_id":"run_8e5338167a1a4ead9f1ec0bf8afaa13d","executions":2159,"states":453,"state_pairs":1283,"model_transition_triples":1767,"self_loops":578,"back_executions":64,"segments":42,"discontinuities":{"run_start":1,"abstraction_gap":24,"state_gap":20,"GUI_gap":16,"unconfirmed_native_gap":2},"unconfirmed_native":2,"restart_count":null,"restart_status":"not separately certified; all gaps segment, no inferred restart links","final_states":438,"final_id_events":1715,"A_final_non_singleton":173,"A_flow_non_singleton":155,"infomap_modules":{"G1":93,"G2":90,"G3":92},"entry_groups":19,"ppr_local_solutions":19,"version_sensitivity":{"raw_states":453,"version_scoped_states":879,"raw_modules":93,"version_scoped_modules":162,"version_scoped_partition":[["54:g28s108","54:g33s146","54:g35s178","54:g35s180","54:g35s182","54:g36s187","54:g4s29","54:g4s38","54:g54s291","54:g54s292","54:g54s293","54:g54s294","54:g54s295","54:g54s296","54:g54s297"],["57:g34s156","57:g34s163","57:g38s200","57:g3s20","57:g3s22","57:g3s23","57:g3s24","57:g46s243","57:g4s37","57:g4s38","57:g57s310","57:g57s312","57:g57s313"],["67:g25s85","67:g27s101","67:g64s399","67:g67s411","67:g67s412","67:g67s413","67:g67s414","67:g67s415","67:g67s416","67:g67s417","67:g67s419","67:g67s420","67:g67s422"],["80:g27s102","80:g28s108","80:g4s38","80:g64s389","80:g64s401","80:g64s402","80:g6s46","80:g80s517","80:g80s519","80:g80s521","80:g80s522","80:g80s529","80:g80s530"],["58:g38s200","58:g3s18","58:g3s20","58:g3s22","58:g3s23","58:g48s249","58:g48s252","58:g4s38","58:g58s315","58:g58s317","58:g58s318","59:g59s323"],["60:g34s162","60:g3s20","60:g44s221","60:g48s249","60:g58s317","60:g58s318","60:g59s323","60:g60s327","60:g60s328","60:g60s329","60:g60s330","60:g60s331"],["63:g35s178","63:g36s187","63:g3s20","63:g3s23","63:g4s29","63:g4s37","63:g4s38","63:g54s295","63:g62s344","63:g63s373","63:g63s381","63:g63s382"],["83:g33s146","83:g35s178","83:g36s187","83:g3s18","83:g4s37","83:g52s278","83:g54s290","83:g83s555","83:g83s556","83:g83s557","83:g83s558","83:g83s559"],["48:g38s203","48:g3s18","48:g3s19","48:g3s20","48:g41s212","48:g44s222","48:g47s247","48:g48s250","48:g48s251","48:g48s252","48:g48s253"],["55:g34s168","55:g36s187","55:g3s20","55:g41s212","55:g42s213","55:g46s243","55:g49s262","55:g53s284","55:g55s301","55:g55s302","55:g55s303"],["62:g38s202","62:g38s203","62:g3s18","62:g3s20","62:g48s250","62:g60s331","62:g61s336","62:g62s348","62:g62s349","62:g62s358","62:g62s360"],["88:g4s37","88:g60s331","88:g88s589","88:g88s592","90:g37s195","90:g88s592","90:g90s596","90:g90s598","92:g90s598","92:g92s601","92:g92s602"],["19:g19s67","19:g19s68","20:g20s70","21:g21s73","22:g20s70","22:g22s75","22:g22s76","25:g25s81","25:g25s82","25:g25s83"],["1:g0s0","1:g1s10","1:g1s8","1:g1s9","2:g2s12","3:g2s12","3:g3s14","3:g3s15","3:g3s16","3:g3s18"],["64:g12s56","64:g22s76","64:g32s138","64:g64s389","64:g64s390","64:g64s393","64:g64s394","64:g64s395","64:g6s46","64:g6s47"],["68:g38s202","68:g3s20","68:g48s250","68:g62s358","68:g68s429","68:g68s430","68:g68s431","68:g68s432","68:g68s433","68:g68s434"],["48:g38s205","48:g3s22","48:g3s23","48:g46s243","48:g46s244","48:g48s254","48:g48s255","48:g48s257","48:g48s258"],["53:g38s200","53:g3s18","53:g3s20","53:g41s212","53:g42s213","53:g42s214","53:g48s249","53:g52s279","53:g53s283"],["68:g46s243","68:g4s38","68:g52s280","68:g54s297","68:g67s422","68:g68s425","68:g68s427","68:g68s428","68:g6s44"],["79:g38s202","80:g34s156","80:g3s18","80:g3s20","80:g68s440","80:g80s513","80:g80s514","80:g80s515","80:g80s516"],["83:g34s164","83:g54s291","83:g58s317","83:g80s513","83:g83s561","83:g83s563","83:g83s564","83:g83s565","83:g83s566"],["83:g46s231","83:g48s254","83:g55s300","83:g68s441","83:g83s567","83:g83s568","83:g83s569","83:g83s570","83:g83s571"],["0:g0s0","0:g0s1","1:g0s1","1:g1s3","1:g1s4","1:g1s5","1:g1s6","1:g1s7"],["25:g25s84","25:g25s85","25:g25s86","25:g25s87","25:g25s88","25:g25s89","25:g25s90","25:g25s91"],["32:g20s70","32:g32s123","32:g32s126","32:g32s127","32:g32s129","32:g4s37","32:g4s38","32:g6s46"],["34:g34s156","34:g34s157","34:g34s158","34:g34s159","34:g34s160","34:g34s161","34:g4s33","34:g4s35"],["46:g33s146","46:g3s18","46:g3s19","46:g46s243","46:g46s244","47:g3s20","47:g47s247","48:g48s249"],["46:g46s232","46:g46s233","46:g46s234","46:g46s235","46:g46s236","46:g46s237","46:g46s238","46:g46s239"],["4:g4s27","4:g4s28","4:g4s29","4:g4s30","4:g4s31","4:g4s32","4:g4s33","4:g4s34"],["61:g41s212","61:g46s231","61:g53s286","61:g53s288","61:g55s298","61:g55s302","61:g61s337","61:g61s338"],["62:g33s146","62:g47s247","62:g54s289","62:g58s318","62:g62s359","62:g62s362","62:g62s363","62:g62s364"],["63:g1s9","63:g34s168","63:g44s223","63:g52s278","63:g57s310","63:g63s370","63:g63s371","63:g63s372"],["69:g34s168","69:g44s222","69:g46s229","69:g4s38","69:g52s273","69:g52s278","69:g63s366","69:g69s472"],["80:g31s115","80:g31s116","80:g31s119","80:g67s408","80:g80s523","80:g80s524","80:g80s528","80:g80s532"],["83:g25s83","83:g62s342","83:g62s343","83:g68s423","83:g68s440","83:g83s543","83:g83s544","83:g83s545"],["86:g69s450","86:g85s577","86:g86s581","86:g86s582","86:g86s583","86:g86s585","86:g86s586","87:g87s588"],["27:g25s81","27:g25s84","27:g27s101","27:g27s102","28:g28s104","28:g28s106","28:g28s107"],["33:g2s12","33:g32s141","33:g33s146","33:g33s147","33:g33s148","33:g3s19","33:g3s20"],["33:g33s149","33:g33s151","33:g3s24","33:g4s29","33:g4s30","33:g4s31","33:g4s32"],["34:g34s162","34:g34s163","34:g34s164","34:g34s165","34:g34s166","34:g34s167","34:g3s20"],["35:g35s175","35:g35s177","35:g35s178","35:g35s179","35:g35s180","35:g3s19","35:g4s30"],["35:g35s181","35:g35s182","36:g36s184","36:g36s185","36:g36s186","36:g36s187","36:g36s188"],["36:g36s190","36:g3s20","36:g4s38","37:g37s193","37:g37s195","37:g3s18","37:g3s19"],["52:g34s168","52:g46s229","52:g52s274","52:g52s275","52:g52s276","52:g52s277","52:g52s278"],["61:g34s156","61:g34s157","61:g3s20","61:g44s221","61:g60s331","61:g61s334","61:g61s336"],["67:g31s116","67:g50s263","67:g63s366","67:g67s407","67:g67s408","67:g67s409","67:g67s410"],["68:g33s147","68:g54s289","68:g62s340","68:g68s440","68:g68s441","68:g68s442","68:g68s444"],["69:g35s178","69:g36s187","69:g4s29","69:g4s34","69:g54s292","69:g69s446","69:g69s453"],["69:g38s203","69:g3s20","69:g48s252","69:g48s253","69:g62s360","69:g68s430","69:g69s469"],["76:g34s168","76:g46s232","76:g50s267","76:g76s490","76:g76s491","76:g76s492","76:g76s493"],["86:g34s156","86:g3s20","86:g44s221","86:g4s36","86:g69s455","86:g79s508","86:g86s584"],["26:g25s91","27:g27s100","27:g27s96","27:g27s97","27:g27s98","27:g27s99"],["32:g1s3","32:g32s140","32:g32s141","32:g3s15","32:g3s18","32:g3s24"],["37:g34s157","37:g36s188","37:g37s196","37:g37s197","37:g3s14","37:g3s20"],["3:g3s19","3:g3s20","3:g3s22","3:g3s23","3:g3s24","3:g3s25"],["44:g1s9","44:g3s15","44:g44s223","44:g44s224","44:g44s225","44:g44s226"],["49:g3s19","49:g3s20","49:g3s23","49:g44s221","49:g48s258","49:g49s260"],["4:g4s35","4:g4s36","4:g4s37","4:g4s38","4:g4s40","6:g6s43"],["62:g33s147","62:g34s168","62:g35s175","62:g36s187","62:g36s188","62:g46s243"],["62:g62s352","62:g62s353","62:g62s354","62:g62s355","62:g62s356","62:g62s357"],["63:g62s351","63:g63s374","63:g63s375","63:g63s376","63:g63s377","63:g63s380"],["64:g25s82","64:g25s83","64:g25s85","64:g64s398","64:g64s401","64:g64s402"],["64:g25s84","64:g27s101","64:g48s254","64:g62s344","64:g64s399","64:g64s400"],["68:g44s221","68:g4s37","68:g58s317","68:g61s334","68:g68s435","68:g68s436"],["69:g34s156","69:g3s22","69:g3s25","69:g54s295","69:g69s454","69:g69s455"],["69:g49s259","69:g69s457","69:g69s458","69:g69s459","69:g69s460","69:g69s461"],["6:g4s37","6:g4s38","6:g6s44","6:g6s46","6:g6s47","9:g9s51"],["77:g68s440","77:g68s441","77:g76s493","77:g77s496","77:g77s497","77:g77s498"],["78:g3s24","78:g4s35","78:g4s36","78:g54s295","78:g62s360","78:g78s504"],["79:g3s20","79:g48s252","79:g62s360","79:g79s509","79:g79s510","79:g79s511"],["83:g25s82","83:g64s401","83:g64s402","83:g80s530","83:g83s541","83:g83s542"],["83:g25s84","83:g64s400","83:g83s549","83:g83s550","83:g83s551","83:g83s552"],["83:g33s147","83:g47s247","83:g52s273","83:g62s362","83:g62s363","83:g62s364"],["31:g21s73","31:g30s114","31:g31s115","31:g31s119","32:g32s121"],["32:g32s130","32:g32s131","32:g32s133","32:g32s134","32:g32s135"],["34:g0s0","34:g1s7","34:g34s168","34:g34s169","34:g34s170"],["38:g38s205","38:g38s206","40:g40s209","41:g38s203","41:g41s211"],["44:g34s168","46:g34s154","46:g44s220","46:g46s229","46:g46s231"],["44:g35s178","44:g36s187","44:g44s221","44:g44s222","44:g4s38"],["46:g34s168","46:g42s214","46:g44s222","46:g46s241","46:g46s242"],["50:g49s261","50:g50s267","52:g52s271","52:g52s272","52:g52s273"],["52:g34s154","52:g38s205","52:g42s214","52:g52s279","52:g52s280"],["53:g34s163","53:g36s187","53:g3s19","53:g4s37","53:g53s288"],["53:g48s254","53:g53s284","53:g53s285","53:g53s286","53:g53s287"],["62:g43s216","62:g62s341","62:g62s342","62:g62s343","62:g62s344"],["63:g28s108","63:g31s119","63:g63s385","63:g6s44","63:g6s46"],["77:g34s166","77:g3s18","77:g52s280","77:g55s302","77:g77s499"],["77:g3s20","77:g3s22","77:g48s253","77:g62s360","77:g68s430"],["78:g48s258","78:g49s259","78:g69s457","78:g77s500","78:g78s502"],["82:g46s231","82:g55s299","82:g82s536","82:g82s537","82:g82s538"],["83:g27s102","83:g80s521","83:g80s523","83:g81s534","83:g83s540"],["83:g34s168","83:g52s274","83:g52s277","83:g69s447","83:g76s493"],["84:g84s575","85:g85s577","86:g84s575","86:g86s579","86:g86s580"],["28:g28s108","29:g29s110","29:g29s111","29:g29s112"],["32:g32s124","32:g32s125","32:g32s137","32:g32s138"],["37:g34s158","37:g34s166","37:g37s198","38:g38s200"],["38:g38s202","38:g38s203","38:g38s204","38:g3s20"],["42:g34s154","42:g34s155","42:g42s214","42:g42s215"],["43:g33s151","43:g35s178","43:g42s215","43:g43s218"],["49:g34s168","49:g35s171","49:g49s261","49:g49s262"],["62:g44s222","62:g4s38","62:g52s278","62:g57s306"],["62:g61s337","62:g62s345","62:g62s346","62:g62s347"],["64:g31s119","64:g62s341","64:g63s385","64:g64s387"],["64:g54s297","64:g64s391","64:g64s392","64:g6s44"],["68:g3s18","68:g3s23","68:g60s331","68:g68s438"],["69:g46s243","69:g50s267","69:g69s451","69:g69s452"],["69:g69s447","69:g69s448","69:g69s449","69:g69s450"],["71:g70s475","71:g71s478","71:g71s479","71:g71s480"],["76:g46s234","76:g46s236","76:g46s237","76:g46s238"],["80:g67s417","80:g68s423","80:g80s526","80:g80s527"],["83:g42s215","83:g83s553","83:g83s572","83:g83s573"],["83:g43s217","83:g55s299","83:g77s499","83:g83s554"],["83:g67s417","83:g83s546","83:g83s547","83:g83s548"],["15:g15s60","18:g15s60","18:g18s64"],["34:g34s153","34:g34s154","34:g34s155"],["35:g0s0","35:g35s174","35:g3s20"],["41:g34s154","41:g34s155","41:g41s212"],["52:g38s200","52:g3s20","52:g52s281"],["54:g34s154","54:g38s204","54:g42s213"],["55:g56s305","56:g46s243","56:g56s305"],["58:g58s319","58:g58s320","58:g58s321"],["64:g20s70","64:g28s108","64:g64s397"],["68:g62s351","68:g63s378","68:g63s379"],["69:g33s146","69:g3s24","69:g69s467"],["69:g33s147","69:g52s276","69:g69s445"],["69:g69s462","69:g69s464","69:g69s465"],["72:g46s229","72:g71s478","72:g72s482"],["76:g75s486","76:g75s487","76:g76s489"],["77:g3s23","77:g69s457","77:g77s500"],["83:g25s85","83:g25s86","83:g25s87"],["87:g4s29","87:g4s37","87:g69s457"],["12:g12s55","12:g12s56"],["29:g28s106","29:g28s107"],["30:g28s104","30:g28s106"],["30:g30s113","30:g30s114"],["61:g58s315","61:g61s333"],["62:g4s36","62:g58s317"],["62:g62s350","62:g62s351"],["63:g63s378","63:g63s379"],["67:g64s401","67:g67s406"],["68:g42s215","68:g43s216"],["68:g62s341","68:g62s343"],["68:g63s373","68:g63s375"],["69:g3s18","69:g48s249"],["69:g47s247","69:g69s471"],["69:g52s271","69:g52s272"],["69:g68s440","69:g68s441"],["70:g52s272","70:g70s475"],["71:g52s271","71:g71s477"],["73:g69s472","73:g73s483"],["75:g75s486","75:g75s487"],["79:g79s507","79:g79s508"],["80:g67s411","80:g80s525"],["81:g46s231","81:g55s299"],["83:g34s166","83:g83s560"],["93:g92s602","94:g94s607"],["41:g38s206"],["46:g46s240"],["60:g58s315"],["69:g69s470"],["77:g77s495"],["81:g80s532"]],"codelength":3.1918955525553816}},{"run":"wikipedia-Rep2","app":"wikipedia","rep":"Rep2","run_id":"run_8f9e0e03aff94363a3ae7757f17a7c14","executions":2285,"states":423,"state_pairs":1328,"model_transition_triples":1892,"self_loops":705,"back_executions":91,"segments":41,"discontinuities":{"run_start":1,"abstraction_gap":22,"state_gap":21,"GUI_gap":17},"unconfirmed_native":0,"restart_count":null,"restart_status":"not separately certified; all gaps segment, no inferred restart links","final_states":409,"final_id_events":1997,"A_final_non_singleton":136,"A_flow_non_singleton":122,"infomap_modules":{"G1":86,"G2":89,"G3":90},"entry_groups":19,"ppr_local_solutions":19,"version_sensitivity":{"raw_states":423,"version_scoped_states":897,"raw_modules":86,"version_scoped_modules":162,"version_scoped_partition":[["93:g13s63","93:g13s70","93:g41s197","93:g41s205","93:g6s34","93:g83s397","93:g84s400","93:g84s401","93:g84s402","93:g84s403","93:g86s424","93:g8s43","93:g8s44","93:g90s463","93:g93s533","93:g93s553","93:g93s554","93:g93s555","93:g93s561"],["70:g17s85","70:g26s116","70:g36s156","70:g3s15","70:g41s189","70:g53s254","70:g53s262","70:g68s317","70:g70s323","70:g70s324","70:g70s325","70:g70s326","70:g70s327","70:g70s328","70:g70s329","70:g70s330","70:g8s44"],["88:g13s66","88:g13s71","88:g13s72","88:g14s74","88:g14s78","88:g4s25","88:g87s444","88:g87s445","88:g87s446","88:g88s453","88:g88s454","88:g88s455","88:g88s456","88:g88s457","88:g88s458","88:g88s459","88:g8s44"],["86:g13s71","86:g19s94","86:g27s121","86:g29s133","86:g29s134","86:g36s163","86:g4s20","86:g81s387","86:g86s410","86:g86s411","86:g86s413","86:g86s414","86:g86s426","86:g86s427","86:g86s431","86:g86s432"],["41:g13s64","41:g13s66","41:g13s69","41:g13s70","41:g13s71","41:g41s193","41:g41s194","41:g41s195","41:g41s196","41:g41s197","41:g41s198","41:g41s199","41:g41s204","41:g41s205","41:g41s206"],["80:g17s85","80:g39s177","80:g3s13","80:g3s15","80:g41s189","80:g41s190","80:g53s263","80:g70s327","80:g70s330","80:g75s354","80:g75s355","80:g75s356","80:g78s366"],["86:g13s70","86:g13s72","86:g14s78","86:g41s197","86:g41s205","86:g4s25","86:g85s406","86:g86s415","86:g86s416","86:g86s417","86:g86s418","86:g86s419","86:g86s423"],["84:g36s163","84:g41s197","84:g41s205","84:g4s23","84:g6s34","84:g71s333","84:g7s36","84:g84s400","84:g84s401","84:g84s402","84:g84s403","84:g84s404"],["93:g13s66","93:g14s75","93:g3s15","93:g4s25","93:g83s395","93:g86s411","93:g90s470","93:g93s547","93:g93s548","93:g93s557","93:g93s558","93:g93s559"],["41:g37s167","41:g39s175","41:g39s177","41:g39s178","41:g39s179","41:g39s180","41:g39s181","41:g41s189","41:g41s190","41:g41s191","41:g41s192"],["23:g17s85","23:g19s88","23:g19s94","23:g22s99","23:g23s103","23:g23s104","23:g3s10","24:g24s106","24:g24s107","24:g24s108"],["64:g11s55","64:g12s57","64:g12s58","64:g55s270","64:g64s288","64:g64s290","64:g64s291","64:g64s297","64:g64s298","65:g65s300"],["71:g26s116","71:g32s144","71:g39s177","71:g3s13","71:g41s189","71:g44s214","71:g53s254","71:g70s327","71:g70s331","71:g71s335"],["82:g17s85","82:g26s116","82:g32s144","82:g41s189","82:g4s20","82:g4s25","82:g70s327","82:g80s379","82:g81s387","82:g82s391"],["90:g0s0","90:g2s4","90:g39s175","90:g4s20","90:g72s343","90:g76s359","90:g86s423","90:g90s467","90:g90s468","90:g90s469"],["90:g19s94","90:g36s164","90:g86s411","90:g86s426","90:g87s443","90:g90s474","90:g90s475","90:g90s477","90:g90s493","90:g90s494"],["13:g11s55","13:g12s57","13:g13s63","13:g13s64","13:g13s65","13:g13s66","13:g13s67","13:g13s68","13:g13s69"],["39:g37s167","39:g39s176","39:g39s177","39:g39s178","39:g39s179","39:g39s180","39:g39s181","39:g39s182","39:g39s183"],["44:g27s121","44:g36s163","44:g39s175","44:g41s193","44:g41s198","44:g41s199","44:g44s214","44:g44s216","44:g44s217"],["54:g13s64","54:g13s71","54:g26s116","54:g29s130","54:g32s144","54:g41s206","54:g53s254","54:g53s261","54:g54s267"],["80:g0s0","80:g13s65","80:g13s66","80:g17s84","80:g36s164","80:g71s332","80:g71s333","80:g80s379","80:g80s380"],["80:g24s106","80:g26s116","80:g30s138","80:g30s139","80:g49s237","80:g49s241","80:g54s266","80:g80s381","80:g80s382"],["0:g0s0","0:g0s1","1:g1s3","2:g2s5","3:g2s4","3:g3s7","3:g3s8","3:g3s9"],["48:g37s167","48:g39s176","48:g39s178","48:g39s179","48:g39s180","48:g41s189","48:g41s191","48:g48s235"],["53:g26s114","53:g27s121","53:g49s242","53:g53s256","53:g53s257","53:g53s258","53:g53s259","53:g53s260"],["68:g13s66","68:g17s85","68:g39s182","68:g41s189","68:g53s262","68:g68s316","68:g68s317","68:g8s44"],["72:g36s156","72:g39s172","72:g39s177","72:g3s13","72:g72s343","72:g72s344","72:g72s345","72:g72s346"],["75:g39s177","75:g3s13","75:g3s15","75:g70s330","75:g72s344","75:g75s355","75:g75s356","75:g75s357"],["78:g17s85","78:g39s177","78:g74s350","78:g75s354","78:g75s355","78:g78s365","78:g78s366","78:g78s367"],["7:g6s35","7:g7s36","8:g4s23","8:g4s24","8:g8s39","8:g8s40","8:g8s41","8:g8s42"],["83:g17s85","83:g39s177","83:g3s13","83:g3s15","83:g70s320","83:g72s344","83:g75s351","83:g75s356"],["87:g13s66","87:g19s94","87:g75s354","87:g78s366","87:g86s411","87:g86s413","87:g86s414","87:g86s434"],["87:g13s70","87:g36s164","87:g87s443","87:g87s444","87:g87s445","87:g87s446","87:g8s40","87:g8s46"],["87:g13s72","87:g4s21","87:g4s25","87:g6s34","87:g6s35","87:g71s332","87:g85s405","87:g87s441"],["93:g10s51","93:g11s55","93:g92s516","93:g93s528","93:g93s530","93:g93s531","93:g93s536","93:g93s537"],["93:g12s57","93:g64s297","93:g90s509","93:g92s514","93:g92s515","93:g93s521","93:g93s539","93:g93s542"],["93:g13s72","93:g4s21","93:g4s22","93:g86s415","93:g86s423","93:g93s543","93:g93s550","93:g93s551"],["10:g10s50","10:g10s51","11:g11s53","8:g8s43","8:g8s44","8:g8s45","8:g8s46"],["17:g17s85","17:g3s10","19:g19s88","19:g19s89","19:g19s90","19:g19s91","19:g19s92"],["27:g25s111","27:g27s119","27:g27s120","27:g27s121","27:g27s122","27:g27s123","27:g4s25"],["29:g24s106","29:g24s108","29:g26s114","29:g26s115","29:g29s128","29:g29s129","29:g29s136"],["31:g24s108","32:g26s114","32:g29s129","32:g29s136","32:g32s143","32:g32s144","32:g32s145"],["34:g36s161","36:g36s161","36:g36s162","36:g36s163","36:g36s164","36:g4s18","36:g4s19"],["45:g27s124","45:g42s209","45:g44s214","45:g44s218","45:g45s220","45:g45s221","45:g45s222"],["5:g5s28","5:g5s29","5:g5s30","5:g5s32","6:g5s28","6:g6s34","6:g6s35"],["68:g10s51","68:g13s61","68:g68s311","68:g68s312","68:g68s313","68:g68s314","68:g68s315"],["80:g51s248","80:g77s360","80:g78s365","80:g78s369","80:g80s373","80:g80s374","80:g80s375"],["86:g13s66","86:g17s85","86:g70s320","86:g75s354","86:g86s409","86:g86s433","86:g86s434"],["90:g13s66","90:g13s71","90:g41s206","90:g88s459","90:g89s462","90:g8s40","90:g90s465"],["90:g13s70","90:g84s403","90:g90s491","90:g90s492","90:g90s501","90:g90s502","90:g90s503"],["90:g90s504","90:g90s505","90:g90s507","90:g90s509","91:g91s511","92:g92s513","92:g92s514"],["93:g86s413","93:g86s426","93:g90s477","93:g90s485","93:g90s490","93:g90s493","93:g93s527"],["32:g17s85","32:g32s146","32:g32s147","32:g32s148","32:g32s149","32:g4s19"],["39:g19s94","39:g25s109","39:g39s172","39:g39s173","39:g39s174","39:g39s175"],["3:g3s10","3:g3s11","3:g3s12","3:g3s13","3:g3s14","3:g3s15"],["48:g39s175","48:g41s193","48:g41s198","48:g41s199","48:g48s233","48:g48s234"],["49:g24s106","49:g27s124","49:g30s139","49:g49s238","49:g49s239","49:g49s240"],["4:g4s21","4:g4s22","4:g4s23","4:g4s24","4:g4s25","5:g5s27"],["53:g17s85","53:g39s182","53:g41s189","53:g44s218","53:g53s254","53:g53s255"],["64:g55s271","64:g64s285","64:g64s286","64:g64s287","64:g64s294","64:g64s295"],["67:g67s307","68:g11s55","68:g12s57","68:g64s298","68:g65s300","68:g68s309"],["81:g17s84","81:g36s164","81:g70s331","81:g71s333","81:g80s379","81:g81s388"],["81:g29s131","81:g29s132","81:g4s23","81:g4s24","81:g8s42","81:g8s43"],["83:g41s194","83:g5s29","83:g5s32","83:g83s395","83:g83s396","83:g83s397"],["90:g36s163","90:g4s19","90:g90s478","90:g90s479","90:g90s496","90:g90s497"],["92:g12s57","92:g13s61","92:g90s507","92:g92s515","92:g92s516","92:g92s517"],["11:g11s55","12:g11s53","12:g11s55","12:g12s57","12:g12s58"],["14:g14s75","14:g14s76","14:g14s78","14:g14s79","14:g3s9"],["16:g13s64","16:g14s76","16:g14s78","17:g17s84","17:g4s19"],["25:g24s108","25:g25s111","26:g23s103","26:g26s113","26:g26s114"],["30:g24s108","30:g29s128","30:g29s129","30:g30s138","30:g30s139"],["36:g36s165","37:g37s167","38:g38s169","39:g38s169","39:g39s171"],["42:g42s209","43:g43s211","44:g25s110","44:g42s209","44:g44s213"],["44:g13s66","44:g13s70","44:g13s71","44:g41s206","44:g44s215"],["48:g24s106","48:g30s139","48:g45s221","48:g45s222","49:g49s237"],["53:g13s70","53:g13s71","53:g26s116","53:g41s194","53:g41s196"],["53:g19s89","53:g21s98","53:g50s245","53:g53s252","53:g53s253"],["53:g3s13","53:g3s15","53:g53s262","53:g53s263","53:g53s264"],["54:g13s66","54:g13s72","55:g55s270","55:g55s271","58:g58s275"],["71:g71s336","72:g71s336","72:g72s338","72:g72s339","72:g72s340"],["75:g17s85","75:g19s88","75:g19s89","75:g19s94","75:g53s253"],["78:g24s106","78:g24s108","78:g26s114","78:g32s144","78:g54s266"],["80:g4s25","80:g6s34","80:g80s384","81:g4s20","81:g81s386"],["81:g13s65","81:g4s21","81:g4s25","81:g71s332","81:g81s387"],["90:g13s63","90:g8s44","90:g90s471","90:g90s472","90:g90s473"],["90:g13s65","90:g90s485","90:g90s486","90:g90s487","90:g90s488"],["90:g17s85","90:g71s335","90:g75s354","90:g78s366","90:g90s470"],["90:g84s400","90:g86s414","90:g90s489","90:g90s490","90:g90s495"],["90:g86s419","90:g90s481","90:g90s482","90:g90s483","90:g90s484"],["93:g13s71","93:g36s163","93:g86s414","93:g86s431","93:g86s432"],["93:g39s178","93:g4s19","93:g90s479","93:g93s522","93:g93s523"],["13:g11s53","13:g13s60","13:g13s61","13:g13s62"],["26:g13s64","26:g13s71","26:g26s115","26:g4s20"],["26:g26s116","26:g4s25","27:g27s118","27:g7s37"],["29:g29s131","29:g29s132","29:g4s24","29:g8s43"],["41:g41s200","41:g41s201","41:g41s202","41:g41s203"],["46:g37s167","46:g39s175","46:g39s178","47:g47s226"],["4:g3s11","4:g3s12","4:g4s19","4:g4s20"],["53:g24s106","54:g24s106","54:g44s214","54:g54s266"],["67:g67s303","67:g67s304","67:g67s305","67:g67s306"],["78:g19s94","78:g44s218","78:g78s363","78:g78s364"],["78:g2s4","78:g51s248","78:g72s343","78:g78s369"],["80:g39s174","80:g80s376","80:g80s377","80:g80s378"],["85:g13s71","85:g13s72","85:g64s298","85:g84s404"],["86:g13s63","86:g85s405","86:g86s429","86:g86s430"],["86:g84s400","86:g86s424","86:g86s425","86:g8s42"],["87:g87s447","88:g36s163","88:g88s450","88:g88s452"],["89:g4s25","89:g85s405","89:g86s424","89:g89s462"],["90:g86s415","90:g86s417","90:g86s418","90:g90s480"],["93:g29s131","93:g86s425","93:g89s462","93:g93s560"],["93:g37s167","93:g39s176","93:g93s524","93:g93s525"],["93:g64s286","93:g93s544","93:g93s545","93:g93s546"],["13:g13s70","13:g13s71","13:g13s72"],["22:g21s98","22:g22s99","22:g4s17"],["27:g27s124","29:g25s111","29:g29s127"],["29:g15s80","29:g29s133","29:g29s134"],["29:g26s116","29:g29s130","29:g4s25"],["41:g25s109","41:g27s124","41:g41s207"],["44:g39s178","44:g41s189","44:g44s218"],["49:g49s241","49:g49s242","49:g49s243"],["4:g3s15","4:g4s17","4:g4s18"],["50:g49s242","50:g50s245","51:g51s248"],["64:g13s71","64:g13s72","64:g64s293"],["67:g11s55","67:g12s57","67:g64s298"],["69:g36s156","69:g4s18","69:g53s262"],["70:g13s64","70:g13s66","70:g70s331"],["71:g17s85","71:g36s156","71:g3s15"],["72:g74s349","74:g72s344","74:g74s349"],["76:g19s88","76:g48s232","76:g76s359"],["77:g19s88","77:g19s89","78:g78s362"],["82:g39s172","82:g39s174","82:g80s377"],["83:g72s343","83:g80s377","83:g83s393"],["86:g29s131","86:g8s40","86:g8s43"],["86:g41s190","86:g75s351","86:g83s396"],["86:g86s420","86:g86s421","86:g86s422"],["90:g90s498","90:g90s499","90:g90s500"],["14:g13s71","14:g14s74"],["15:g14s78","15:g3s9"],["19:g19s93","19:g19s94"],["21:g21s97","21:g21s98"],["33:g32s149","33:g33s151"],["40:g39s182","40:g40s185"],["40:g40s186","41:g41s188"],["41:g39s182","41:g40s185"],["46:g44s218","46:g46s224"],["47:g47s228","47:g47s229"],["48:g47s229","48:g48s230"],["48:g48s231","48:g48s232"],["53:g32s144","53:g53s261"],["53:g51s248","53:g53s251"],["61:g58s275","61:g61s279"],["63:g58s275","63:g63s282"],["64:g61s279","64:g64s283"],["69:g39s182","69:g69s319"],["72:g72s341","72:g72s342"],["79:g51s248","79:g79s371"],["84:g14s74","84:g84s399"],["93:g92s517","93:g93s520"],["32:g30s138"],["77:g76s359"],["83:g14s74"],["93:g93s534"]],"codelength":3.0905700725586396}},{"run":"activitydiary-Rep1","app":"activitydiary","rep":"Rep1","run_id":"activitydiary-rep1-pure-b1","executions":2355,"states":150,"state_pairs":724,"model_transition_triples":1253,"self_loops":659,"back_executions":121,"segments":53,"discontinuities":{"run_start":1,"abstraction_gap":13,"state_gap":34,"GUI_gap":37},"unconfirmed_native":0,"restart_count":null,"restart_status":"not separately certified; all gaps segment, no inferred restart links","final_states":110,"final_id_events":1964,"A_final_non_singleton":22,"A_flow_non_singleton":31,"infomap_modules":{"G1":33,"G2":32,"G3":32},"entry_groups":18,"ppr_local_solutions":18,"version_sensitivity":{"raw_states":150,"version_scoped_states":395,"raw_modules":33,"version_scoped_modules":68,"version_scoped_partition":[["31:g1s1","31:g1s3","31:g1s4","31:g1s9","31:g21s63","31:g24s69","31:g27s75","31:g27s76","31:g27s79","31:g27s82","31:g28s85","31:g28s87","31:g29s93","31:g2s11","31:g31s104","31:g31s105","31:g31s106","31:g31s107","31:g31s108","31:g8s25","31:g8s26"],["37:g17s53","37:g1s1","37:g1s3","37:g1s9","37:g21s63","37:g24s69","37:g27s76","37:g27s78","37:g27s79","37:g28s85","37:g28s87","37:g28s88","37:g29s91","37:g2s11","37:g37s122","37:g37s124","37:g8s25","37:g8s26"],["50:g1s1","50:g1s4","50:g21s63","50:g24s69","50:g27s76","50:g27s79","50:g29s93","50:g36s120","50:g47s168","50:g48s171","50:g49s178","50:g49s179","50:g49s180","50:g49s181","50:g49s185","50:g50s195","50:g50s196","50:g50s199"],["36:g17s53","36:g1s1","36:g1s3","36:g1s4","36:g1s9","36:g21s63","36:g27s75","36:g27s76","36:g27s79","36:g27s81","36:g27s83","36:g29s91","36:g2s11","36:g31s104","36:g36s119","36:g36s120","36:g8s25"],["27:g21s63","27:g21s64","27:g24s69","27:g27s75","27:g27s76","27:g27s77","27:g27s78","27:g27s79","27:g27s80","27:g27s81","27:g27s82","27:g27s83","27:g27s84","27:g2s11","27:g2s12","27:g8s26"],["28:g1s3","28:g1s7","28:g1s9","28:g21s63","28:g24s69","28:g24s70","28:g27s77","28:g27s84","28:g28s85","28:g28s87","28:g28s88","28:g28s89","28:g28s90","28:g2s11","28:g8s25"],["46:g1s1","46:g1s4","46:g27s82","46:g28s88","46:g2s11","46:g36s119","46:g46s159","46:g46s160","46:g46s161","46:g46s162","46:g46s163","46:g46s164","46:g46s165","46:g7s22"],["29:g1s1","29:g1s4","29:g21s63","29:g26s73","29:g27s76","29:g27s79","29:g29s93","29:g29s94","29:g29s95","29:g29s96","29:g29s97","29:g2s11","29:g8s26"],["48:g17s53","48:g1s1","48:g21s63","48:g24s69","48:g24s70","48:g29s93","48:g2s11","48:g33s111","48:g41s131","48:g46s144","48:g48s172","48:g48s173"],["49:g1s1","49:g1s4","49:g29s93","49:g2s11","49:g49s176","49:g49s178","49:g49s179","49:g49s180","49:g49s181","49:g49s185","49:g49s189","49:g7s22"],["49:g1s3","49:g24s69","49:g28s87","49:g37s122","49:g47s168","49:g47s169","49:g49s184","49:g49s186","49:g49s187","49:g49s188","49:g8s25","49:g8s26"],["44:g41s131","44:g43s135","46:g33s111","46:g35s115","46:g41s131","46:g44s136","46:g46s141","46:g46s144","46:g46s147","46:g46s155","46:g46s158"],["16:g17s53","17:g15s42","17:g16s47","17:g17s53","17:g17s54","17:g17s55","17:g17s56","18:g18s58","19:g19s60","20:g20s62"],["35:g1s1","35:g1s4","35:g1s5","35:g21s63","35:g27s75","35:g27s76","35:g29s93","35:g2s11","35:g35s117"],["1:g1s1","1:g1s2","1:g1s3","1:g1s4","1:g1s6","1:g1s7","1:g1s8","1:g1s9"],["46:g24s69","46:g27s76","46:g27s77","46:g27s79","46:g27s80","46:g29s93","46:g37s124","46:g8s26"],["50:g2s11","50:g37s122","50:g46s159","50:g46s165","50:g49s184","50:g49s189","50:g50s193","50:g7s22"],["13:g13s36","14:g12s34","14:g12s35","14:g14s38","14:g14s39","14:g14s40","15:g15s42"],["16:g14s38","16:g15s42","16:g16s47","16:g16s48","16:g16s49","16:g16s50","16:g16s51"],["39:g1s1","39:g1s4","39:g27s77","39:g27s79","39:g27s82","39:g36s119","39:g39s128"],["46:g14s38","46:g14s39","46:g15s42","46:g18s58","46:g21s63","46:g46s154","46:g46s166"],["46:g41s132","46:g46s142","46:g46s146","46:g46s148","46:g46s149","46:g46s156","46:g46s157"],["7:g1s3","7:g1s4","7:g1s9","7:g5s19","8:g8s25","8:g8s26","9:g9s28"],["21:g20s62","21:g21s63","22:g21s63","22:g22s66","23:g17s54","23:g23s68"],["50:g33s111","50:g35s115","50:g40s130","50:g41s131","50:g49s175","50:g50s194"],["37:g27s77","38:g1s4","38:g36s119","38:g38s126","38:g7s22"],["39:g2s11","39:g33s111","39:g35s115","39:g35s116","40:g40s130"],["3:g1s3","3:g1s4","3:g2s11","3:g3s14","3:g3s15"],["46:g1s3","46:g28s85","46:g37s122","46:g46s167","46:g8s25"],["46:g44s138","46:g46s150","46:g46s151","46:g46s152","46:g46s153"],["49:g27s77","49:g27s80","49:g27s81","49:g37s123","49:g49s182"],["33:g1s1","33:g2s11","33:g33s111","33:g33s112"],["3:g1s5","4:g1s4","4:g1s5","4:g4s17"],["46:g27s78","46:g30s100","46:g30s101","46:g30s99"],["49:g27s76","49:g27s79","49:g2s12","49:g48s171"],["4:g3s14","5:g1s4","5:g3s15","5:g5s19"],["6:g1s4","6:g3s15","6:g5s19","6:g6s21"],["10:g1s7","10:g1s8","10:g8s25"],["11:g1s2","11:g1s7","11:g9s28"],["24:g23s68","26:g21s63","26:g26s73"],["29:g27s78","30:g27s78","30:g30s99"],["2:g1s3","2:g2s11","2:g2s12"],["31:g27s78","31:g30s100","31:g30s99"],["35:g33s111","35:g35s115","35:g35s116"],["48:g49s175","49:g33s111","49:g49s175"],["49:g27s78","49:g36s120","49:g49s177"],["50:g49s182","50:g50s197","50:g50s198"],["9:g8s25","9:g8s26","9:g9s29"],["29:g1s5","29:g4s17"],["30:g30s100","30:g30s101"],["31:g30s101","31:g31s103"],["37:g27s81","37:g37s123"],["41:g40s130","41:g41s132"],["43:g33s112","43:g43s135"],["46:g46s143","46:g6s21"],["47:g46s167","48:g48s171"],["49:g17s53","49:g21s63"],["49:g1s6","49:g49s190"],["49:g27s82","49:g31s108"],["49:g46s166","49:g49s183"],["12:g9s28"],["1:g1s5"],["29:g28s89"],["46:g17s53"],["46:g24s70"],["46:g46s145"],["49:g28s88"],["50:g49s190"]],"codelength":3.4827930481962053}},{"run":"activitydiary-Rep2","app":"activitydiary","rep":"Rep2","run_id":"run_dc2dd8de975e441b98d63d521b527b43","executions":2280,"states":157,"state_pairs":766,"model_transition_triples":1407,"self_loops":665,"back_executions":92,"segments":38,"discontinuities":{"run_start":1,"abstraction_gap":15,"state_gap":21,"GUI_gap":21},"unconfirmed_native":0,"restart_count":null,"restart_status":"not separately certified; all gaps segment, no inferred restart links","final_states":123,"final_id_events":1678,"A_final_non_singleton":27,"A_flow_non_singleton":25,"infomap_modules":{"G1":37,"G2":38,"G3":38},"entry_groups":18,"ppr_local_solutions":18,"version_sensitivity":{"raw_states":157,"version_scoped_states":406,"raw_modules":37,"version_scoped_modules":85,"version_scoped_partition":[["41:g11s34","41:g15s51","41:g15s57","41:g16s59","41:g17s66","41:g27s96","41:g30s110","41:g32s126","41:g33s128","41:g34s131","41:g36s137","41:g37s138","41:g37s140","41:g39s159","41:g39s169","41:g41s173","41:g41s174","41:g41s175","41:g41s176","41:g41s177","41:g41s178","41:g41s179","41:g41s180","41:g41s181","41:g41s183","41:g41s186","41:g41s187","41:g41s188","41:g41s189","41:g41s190","41:g6s15","41:g7s18"],["16:g11s34","16:g15s50","16:g15s54","16:g15s57","16:g15s58","16:g16s59","16:g16s60","16:g16s61","16:g16s62","16:g16s63","16:g16s64","16:g16s65","16:g3s6","16:g5s11","16:g6s15","16:g8s21","16:g8s22","16:g9s25"],["15:g11s34","15:g13s42","15:g15s45","15:g15s47","15:g15s50","15:g15s53","15:g15s54","15:g15s55","15:g15s56","15:g15s57","15:g15s58","15:g5s11","15:g9s25"],["30:g10s28","30:g15s57","30:g16s59","30:g1s1","30:g30s111","30:g30s114","30:g30s115","30:g30s116","30:g30s117","30:g3s4","30:g4s8","30:g6s15"],["39:g11s34","39:g15s50","39:g16s59","39:g17s66","39:g27s96","39:g27s98","39:g31s121","39:g39s160","39:g3s6","39:g5s11"],["39:g15s52","39:g15s54","39:g15s57","39:g15s58","39:g16s61","39:g26s92","39:g26s94","39:g39s157","39:g39s158","39:g9s25"],["10:g10s30","10:g10s31","10:g10s32","10:g1s1","10:g3s6","10:g5s11","10:g6s14","10:g9s27"],["31:g11s34","31:g15s50","31:g15s54","31:g16s59","31:g26s92","31:g31s120","31:g5s11","31:g9s25"],["37:g11s34","37:g21s75","37:g30s118","37:g31s124","37:g36s137","37:g37s141","37:g37s142","37:g5s11"],["37:g16s59","37:g17s66","37:g27s96","37:g31s120","37:g35s133","37:g37s143","37:g37s144","37:g37s145"],["39:g15s48","39:g32s126","39:g33s128","39:g36s137","39:g37s138","39:g39s155","39:g39s167","39:g6s15"],["43:g17s66","43:g28s100","43:g39s169","43:g41s174","43:g41s179","43:g41s180","43:g43s203","43:g6s15"],["35:g11s34","35:g21s76","35:g25s88","35:g27s96","35:g31s124","35:g35s135","35:g5s11"],["39:g1s1","39:g39s161","39:g39s162","39:g39s163","39:g39s164","39:g39s165","39:g39s166"],["41:g21s76","41:g38s149","41:g39s151","41:g39s153","41:g39s154","41:g41s184","41:g41s185"],["42:g21s75","42:g21s76","42:g31s124","42:g35s135","42:g38s147","42:g38s149","42:g39s151"],["43:g11s34","43:g15s55","43:g16s59","43:g27s96","43:g39s159","43:g3s6","43:g43s202"],["9:g5s10","9:g6s14","9:g8s21","9:g8s22","9:g9s25","9:g9s26","9:g9s27"],["38:g11s34","38:g21s75","38:g21s76","38:g31s124","38:g38s149","38:g5s11"],["38:g16s59","38:g17s66","38:g27s96","38:g35s134","38:g37s144","38:g38s146"],["42:g11s34","42:g27s96","42:g32s126","42:g33s128","42:g37s138","42:g41s176"],["42:g29s102","42:g30s104","42:g30s105","42:g42s196","42:g42s197","42:g42s199"],["45:g27s96","45:g30s108","45:g39s159","45:g41s176","45:g41s179","45:g45s206"],["11:g11s34","11:g11s35","11:g1s1","12:g12s37","12:g12s38"],["13:g11s34","13:g11s35","13:g12s37","13:g12s38","13:g1s1"],["19:g11s34","21:g21s75","21:g21s76","21:g21s77","22:g22s79"],["26:g16s62","26:g26s92","26:g26s93","26:g8s22","26:g9s25"],["30:g11s34","30:g30s109","30:g30s110","30:g30s118","30:g5s11"],["31:g16s62","31:g27s98","31:g30s112","31:g31s121","31:g6s15"],["31:g21s75","31:g23s80","31:g31s122","31:g31s123","31:g31s124"],["33:g33s128","33:g33s129","33:g6s15","34:g34s131","34:g6s15"],["34:g11s34","34:g27s96","34:g30s112","34:g30s118","34:g5s11"],["35:g16s59","35:g17s66","35:g35s133","35:g35s134","35:g3s6"],["38:g23s80","38:g25s88","38:g25s89","38:g38s147","38:g38s148"],["41:g11s35","41:g12s37","41:g12s38","41:g12s39","41:g13s41"],["42:g16s59","42:g41s174","42:g41s177","42:g41s178","42:g41s179"],["46:g15s48","46:g28s100","46:g41s176","46:g6s15","46:g7s18"],["7:g5s11","7:g6s15","8:g8s21","8:g8s22","8:g8s23"],["15:g15s48","15:g15s49","15:g6s15","15:g6s16"],["17:g11s34","17:g15s50","17:g15s52","17:g8s22"],["1:g1s1","3:g3s4","3:g3s5","3:g3s6"],["28:g15s48","28:g27s99","28:g28s101","28:g6s15"],["37:g34s131","37:g37s138","37:g37s140","37:g6s15"],["42:g15s48","42:g28s100","42:g42s198","42:g6s15"],["4:g4s8","5:g3s5","5:g5s10","5:g5s11"],["6:g5s11","6:g6s14","6:g6s15","6:g6s16"],["12:g12s39","13:g12s39","13:g13s41"],["13:g14s44","14:g13s42","14:g14s44"],["13:g3s6","13:g5s11","13:g6s14"],["15:g15s51","15:g15s52","15:g8s22"],["19:g16s59","19:g19s72","19:g5s11"],["27:g15s54","27:g27s98","27:g5s11"],["27:g27s99","27:g6s15","27:g6s16"],["36:g33s129","36:g36s137","36:g6s15"],["39:g11s35","39:g12s37","39:g12s38"],["39:g21s76","39:g39s153","39:g39s154"],["39:g26s95","39:g39s168","39:g39s169"],["39:g38s149","39:g39s151","39:g39s152"],["42:g11s35","42:g12s37","42:g42s194"],["43:g44s205","44:g41s179","44:g44s205"],["7:g6s16","7:g7s18","7:g7s19"],["13:g10s32","13:g13s42"],["23:g22s79","25:g25s87"],["25:g25s88","25:g25s89"],["25:g25s90","25:g5s11"],["26:g15s54","26:g26s94"],["26:g15s55","26:g26s95"],["29:g29s103","29:g6s15"],["30:g15s50","30:g26s92"],["30:g30s112","30:g30s113"],["32:g32s126","32:g6s15"],["39:g28s100","39:g7s18"],["39:g37s140","39:g39s156"],["42:g15s51","42:g41s175"],["42:g41s186","42:g42s195"],["43:g15s57","43:g41s176"],["28:g15s49"],["30:g27s98"],["30:g30s108"],["39:g39s159"],["39:g39s170"],["42:g25s88"],["43:g15s48"],["43:g31s121"],["43:g43s201"]],"codelength":3.3304134499923865}}]