{"P3":{"beside":{"1":{"INNER~first":{"booted":"53/100","carried":true,"computable":"3/100","local":"53/100","mass":"53/100","top":9},"INNER~rule":{"booted":"51/100","carried":true,"computable":"1/50","local":"51/100","mass":"51/100","top":9},"TOP~first":{"booted":"23/50","carried":false,"computable":"1/25","local":"23/50","mass":"23/50","top":9},"TOP~rule":{"booted":"61/100","carried":true,"computable":"1/50","local":"61/100","mass":"61/100","top":9},"WHOLE~rule":{"booted":"13/25","carried":true,"computable":"1/100","local":"13/25","mass":"13/25","top":9}},"6":{"INNER~first":{"booted":"1/2","carried":true,"computable":"3/100","local":"1/2","mass":"1/2","top":9},"INNER~rule":{"booted":"51/100","carried":true,"computable":"1/20","local":"51/100","mass":"51/100","top":9},"TOP~first":{"booted":"41000000000000003/100000000000000000","carried":false,"computable":"3/100","local":"41000000000000003/100000000000000000","mass":"41000000000000003/100000000000000000","top":9},"TOP~rule":{"booted":"3/5","carried":true,"computable":"3/100","local":"3/5","mass":"3/5","top":9},"WHOLE~pair":{"booted":"47/100","carried":false,"computable":"3/50","local":"47/100","mass":"47/100","top":9},"WHOLE~rule":{"booted":"53/100","carried":true,"computable":"1/100","local":"53/100","mass":"53/100","top":9}}},"path":[{"booted":"11/20","carried":true,"computable":"1/50","local":"11/20","read":1,"state":1,"top":9},{"booted":"1/2","carried":true,"computable":"3/100","local":"1/2","read":6,"state":1,"top":9}],"verdict":"LOCAL"},"P4":{"asked":2,"hits":0,"misses":["R06-WHOLE~pair:direction","R06-WHOLE~pair:moved"],"rate":"0","verdict":"REFUTED"},"P5":{"10":{"against":5,"band":["721/3160","1059/3160"],"failed":["gate"],"gate_asked":32,"gate_same":30,"in_band":true,"moved_share_full":"13/49","verdict":"MOVED"},"6":{"against":1,"band":["721/3160","1059/3160"],"failed":["band"],"gate_asked":32,"gate_same":32,"in_band":false,"moved_share_full":"4/47","verdict":"MOVED"},"7":{"against":2,"band":["721/3160","1059/3160"],"failed":["band"],"gate_asked":32,"gate_same":32,"in_band":false,"moved_share_full":"10/49","verdict":"MOVED"},"8":{"against":3,"band":["721/3160","1059/3160"],"failed":["band"],"gate_asked":32,"gate_same":31,"in_band":false,"moved_share_full":"10/49","verdict":"MOVED"},"9":{"against":4,"band":["721/3160","1059/3160"],"failed":["gate","band"],"gate_asked":32,"gate_same":30,"in_band":false,"moved_share_full":"1/7","verdict":"MOVED"}},"P6":{"classes":{"mean_distance":{"0":{"max":"43/4600","mean":"43/4600","mean_rank":"1","min":"43/4600","name":"same state","pairs":1}},"moved_share":{"0":{"max":"3/46","mean":"3/46","mean_rank":"1","min":"3/46","name":"same state","pairs":1}}},"tau":{"mean_distance":"None","moved_share":"None","pairs":1},"verdict":"NOT READ","why":"no same-state or no top-distance pairs"},"P6_recorded":{"all":{"classes":{"mean_distance":{"0":{"max":"32500000000000001/2350000000000000000","mean":"32500000000000001/2350000000000000000","mean_rank":"1","min":"32500000000000001/2350000000000000000","name":"same state","pairs":1}},"moved_share":{"0":{"max":"4/47","mean":"4/47","mean_rank":"1","min":"4/47","name":"same state","pairs":1}}},"verdict":"NOT READ","why":"no same-state or no top-distance pairs"},"gate":{"classes":{"mean_distance":{"0":{"max":"86000000000000001/6400000000000000000","mean":"86000000000000001/6400000000000000000","mean_rank":"1","min":"86000000000000001/6400000000000000000","name":"same state","pairs":1}},"moved_share":{"0":{"max":"1/16","mean":"1/16","mean_rank":"1","min":"1/16","name":"same state","pairs":1}}},"verdict":"NOT READ","why":"no same-state or no top-distance pairs"},"scale":{"floor":"1/40","largest":"3/46","smallest":"3/46","spread":"0","verdict":"WITHIN THE FLOOR"}},"P7":{"reads":{"10":{"one":{"INNER~first":{"booted":"17/100","carried":false,"computable":"3/20","local":"3/20","mass":"6/25","top":6},"INNER~rule":{"booted":"1/10","carried":false,"computable":"9/100","local":"9/100","mass":"8/25","top":2},"TOP~first":{"booted":"7/25","carried":false,"computable":"19/100","local":"19/100","mass":"33/100","top":2},"TOP~rule":{"booted":"4/25","carried":false,"computable":"29/100","local":"29/100","mass":"29/100","top":5},"WHOLE~first":{"booted":"1/5","carried":false,"computable":"9/100","local":"9/100","mass":"3/10","top":6},"WHOLE~pair":{"booted":"9/50","carried":false,"computable":"9/100","local":"9/100","mass":"27/100","top":6},"WHOLE~rule":{"booted":"21/100","carried":false,"computable":"1/10","local":"1/10","mass":"27/100","top":2}},"stair_mean_mass_on_none":"19/400","stair_mean_mass_on_truth":"64299999999999999/140000000000000000"},"5":{"one":{"INNER~first":{"booted":"1/5","carried":false,"computable":"13/100","local":"13/100","mass":"1/5","top":9},"INNER~rule":{"booted":"2/25","carried":false,"computable":"11/100","local":"11/100","mass":"11/50","top":4},"TOP~first":{"booted":"1/4","carried":false,"computable":"11/50","local":"11/50","mass":"33999999999999997/100000000000000000","top":2},"TOP~rule":{"booted":"7/50","carried":false,"computable":"7/20","local":"7/20","mass":"7/20","top":5},"WHOLE~first":{"booted":"9/50","carried":false,"computable":"2/25","local":"2/25","mass":"33/100","top":6},"WHOLE~pair":{"booted":"23/100","carried":false,"computable":"11/100","local":"11/100","mass":"23/100","top":9},"WHOLE~rule":{"booted":"1/5","carried":false,"computable":"9/100","local":"9/100","mass":"31/100","top":2}},"stair_mean_mass_on_none":"4/75","stair_mean_mass_on_truth":"87/200"}},"verdict":"RECORDED"},"P8":{"reads":{"10":{"stair_mean_mass_on_none":"19/400","stair_mean_mass_on_truth":"64299999999999999/140000000000000000"},"5":{"stair_mean_mass_on_none":"4/75","stair_mean_mass_on_truth":"87/200"}},"verdict":"RECORDED"},"complete":[1,2,3,4,5,6,7,8,9,10],"due":["P3","P4","P6"],"held":[1,6],"kind":"boot","landed_at":"Act 3, the second pass of L1, seal bcf8b02","line":"L1","manifest_pin":"fa82964233b823093f018a7ca01fed4edc676f66510663f0e091709609adc292","name":"the boot as drawn","pairs":{"all":[{"answers":94,"class":"0","class_name":"same state","i":1,"j":6,"mean_distance":"32500000000000001/2350000000000000000","moved_share":"4/47","top_changed":2}],"gate":[{"answers":32,"class":"0","class_name":"same state","i":1,"j":6,"mean_distance":"86000000000000001/6400000000000000000","moved_share":"1/16","top_changed":0}],"invariant":[{"answers":46,"class":"0","class_name":"same state","i":1,"j":6,"mean_distance":"43/4600","moved_share":"3/46","top_changed":2}]},"readout_version":1,"reads":{"1":{"P0":"holds","P1":"HELD","P2":{"asked":12,"hits":12,"rate":"1"},"descent":{"asked":0,"hits":0,"misses":[]},"event":null,"gate":{"asked":32,"hits":32,"misses":[]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"53/100","carried":true,"computable":"3/100","local":"53/100","mass":"53/100","top":9},"INNER~rule":{"booted":"51/100","carried":true,"computable":"1/50","local":"51/100","mass":"51/100","top":9},"TOP~first":{"booted":"23/50","carried":false,"computable":"1/25","local":"23/50","mass":"23/50","top":9},"TOP~rule":{"booted":"61/100","carried":true,"computable":"1/50","local":"61/100","mass":"61/100","top":9},"WHOLE~first":{"booted":"11/20","carried":true,"computable":"1/50","local":"11/20","mass":"11/20","top":9},"WHOLE~rule":{"booted":"13/25","carried":true,"computable":"1/100","local":"13/25","mass":"13/25","top":9}},"prior":null,"read":1,"seals":["773f858"],"state":1,"walk":null},"2":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":10,"rate":"5/6"},"descent":{"asked":2,"hits":1,"misses":["R02-WHOLE~pair:direction"]},"event":null,"gate":{"asked":32,"hits":28,"misses":["R02-WHOLE~first:below_under","R02-WHOLE~rule:below_under","R02-INNER~first:below_under","R02-INNER~rule:below_under"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"8/25","carried":false,"computable":"1/50","local":"39/100","mass":"39/100","top":8},"INNER~rule":{"booted":"41000000000000003/100000000000000000","carried":false,"computable":"1/50","local":"21/100","mass":"41000000000000003/100000000000000000","top":9},"TOP~first":{"booted":"31/100","carried":false,"computable":"3/100","local":"3/20","mass":"7/20","top":2},"TOP~rule":{"booted":"2/25","carried":true,"computable":"1/100","local":"29/50","mass":"29/50","top":8},"WHOLE~first":{"booted":"41000000000000003/100000000000000000","carried":false,"computable":"1/50","local":"11/50","mass":"41000000000000003/100000000000000000","top":9},"WHOLE~pair":{"booted":"43/100","carried":false,"computable":"1/50","local":"1/4","mass":"43/100","top":9},"WHOLE~rule":{"booted":"33/100","carried":false,"computable":"1/100","local":"13/50","mass":"33/100","top":9}},"prior":null,"read":2,"seals":["773f858"],"state":2,"walk":null},"3":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":10,"rate":"5/6"},"descent":{"asked":2,"hits":2,"misses":[]},"event":null,"gate":{"asked":32,"hits":28,"misses":["R03-WHOLE~first:below_under","R03-WHOLE~rule:below_under","R03-INNER~first:below_under","R03-INNER~rule:below_under"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"37/100","carried":false,"computable":"1/50","local":"19/100","mass":"37/100","top":9},"INNER~rule":{"booted":"11/25","carried":false,"computable":"3/100","local":"1/10","mass":"11/25","top":9},"TOP~first":{"booted":"3/20","carried":false,"computable":"3/100","local":"2/5","mass":"2/5","top":7},"TOP~rule":{"booted":"1/20","carried":false,"computable":"1/100","local":"9/20","mass":"9/20","top":7},"WHOLE~first":{"booted":"39999999999999997/100000000000000000","carried":false,"computable":"1/100","local":"17/100","mass":"39999999999999997/100000000000000000","top":9},"WHOLE~pair":{"booted":"4/25","carried":false,"computable":"1/50","local":"43/100","mass":"43/100","top":7},"WHOLE~rule":{"booted":"21/100","carried":false,"computable":"1/100","local":"4/25","mass":"41/100","top":2}},"prior":null,"read":3,"seals":["773f858"],"state":3,"walk":null},"4":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":10,"rate":"5/6"},"descent":{"asked":2,"hits":2,"misses":[]},"event":null,"gate":{"asked":32,"hits":25,"misses":["R04-WHOLE~first:below_under","R04-WHOLE~first:tail_top","R04-WHOLE~rule:below_under","R04-WHOLE~rule:tail_top","R04-TOP~first:tail_top","R04-INNER~first:below_under","R04-INNER~rule:below_under"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"6/25","carried":false,"computable":"27/100","local":"2/25","mass":"27/100","top":5},"INNER~rule":{"booted":"29/100","carried":false,"computable":"17/100","local":"1/20","mass":"29/100","top":9},"TOP~first":{"booted":"3/25","carried":false,"computable":"3/50","local":"33/100","mass":"33999999999999997/100000000000000000","top":2},"TOP~rule":{"booted":"1/25","carried":false,"computable":"3/100","local":"19/50","mass":"9/20","top":2},"WHOLE~first":{"booted":"1/5","carried":false,"computable":"19/100","local":"7/50","mass":"1/5","top":9},"WHOLE~pair":{"booted":"4/25","carried":false,"computable":"47/100","local":"7/100","mass":"47/100","top":5},"WHOLE~rule":{"booted":"1/5","carried":false,"computable":"11/100","local":"2/25","mass":"33/100","top":2}},"prior":null,"read":4,"seals":["773f858"],"state":4,"walk":null},"5":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":9,"rate":"3/4"},"descent":{"asked":2,"hits":2,"misses":[]},"event":{"one":{"INNER~first":{"booted":"1/5","carried":false,"computable":"13/100","local":"13/100","mass":"1/5","top":9},"INNER~rule":{"booted":"2/25","carried":false,"computable":"11/100","local":"11/100","mass":"11/50","top":4},"TOP~first":{"booted":"1/4","carried":false,"computable":"11/50","local":"11/50","mass":"33999999999999997/100000000000000000","top":2},"TOP~rule":{"booted":"7/50","carried":false,"computable":"7/20","local":"7/20","mass":"7/20","top":5},"WHOLE~first":{"booted":"9/50","carried":false,"computable":"2/25","local":"2/25","mass":"33/100","top":6},"WHOLE~pair":{"booted":"23/100","carried":false,"computable":"11/100","local":"11/100","mass":"23/100","top":9},"WHOLE~rule":{"booted":"1/5","carried":false,"computable":"9/100","local":"9/100","mass":"31/100","top":2}},"stair_mean_mass_on_none":"4/75","stair_mean_mass_on_truth":"87/200"},"gate":{"asked":32,"hits":23,"misses":["R05-WHOLE~first:below_under","R05-WHOLE~first:tick_row3","R05-WHOLE~rule:below_under","R05-WHOLE~rule:tick_row3","R05-INNER~first:below_under","R05-INNER~first:tick_row3","R05-INNER~rule:below_under","R05-TICK~first:below_in_view","R05-TICK~rule:below_in_view"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"1/5","carried":false,"computable":"13/100","local":"13/100","mass":"1/5","top":9},"INNER~rule":{"booted":"2/25","carried":false,"computable":"11/100","local":"11/100","mass":"11/50","top":4},"TOP~first":{"booted":"1/4","carried":false,"computable":"11/50","local":"11/50","mass":"33999999999999997/100000000000000000","top":2},"TOP~rule":{"booted":"7/50","carried":false,"computable":"7/20","local":"7/20","mass":"7/20","top":5},"WHOLE~first":{"booted":"9/50","carried":false,"computable":"2/25","local":"2/25","mass":"33/100","top":6},"WHOLE~pair":{"booted":"23/100","carried":false,"computable":"11/100","local":"11/100","mass":"23/100","top":9},"WHOLE~rule":{"booted":"1/5","carried":false,"computable":"9/100","local":"9/100","mass":"31/100","top":2}},"prior":null,"read":5,"seals":["773f858"],"state":5,"walk":null},"6":{"P0":"holds","P1":"HELD","P2":{"asked":12,"hits":12,"rate":"1"},"descent":{"asked":2,"hits":0,"misses":["R06-WHOLE~pair:direction","R06-WHOLE~pair:moved"]},"event":null,"gate":{"asked":32,"hits":32,"misses":[]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"1/2","carried":true,"computable":"3/100","local":"1/2","mass":"1/2","top":9},"INNER~rule":{"booted":"51/100","carried":true,"computable":"1/20","local":"51/100","mass":"51/100","top":9},"TOP~first":{"booted":"41000000000000003/100000000000000000","carried":false,"computable":"3/100","local":"41000000000000003/100000000000000000","mass":"41000000000000003/100000000000000000","top":9},"TOP~rule":{"booted":"3/5","carried":true,"computable":"3/100","local":"3/5","mass":"3/5","top":9},"WHOLE~first":{"booted":"1/2","carried":true,"computable":"3/100","local":"1/2","mass":"1/2","top":9},"WHOLE~pair":{"booted":"47/100","carried":false,"computable":"3/50","local":"47/100","mass":"47/100","top":9},"WHOLE~rule":{"booted":"53/100","carried":true,"computable":"1/100","local":"53/100","mass":"53/100","top":9}},"prior":null,"read":6,"seals":["bcf8b02"],"state":1,"walk":null},"7":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":11,"rate":"11/12"},"descent":{"asked":2,"hits":2,"misses":[]},"event":null,"gate":{"asked":32,"hits":28,"misses":["R07-WHOLE~first:below_under","R07-WHOLE~rule:below_under","R07-INNER~first:below_under","R07-INNER~rule:below_under"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"33/100","carried":false,"computable":"1/50","local":"37/100","mass":"37/100","top":8},"INNER~rule":{"booted":"23/50","carried":false,"computable":"1/50","local":"19/100","mass":"23/50","top":9},"TOP~first":{"booted":"29/100","carried":false,"computable":"1/50","local":"19/100","mass":"39/100","top":2},"TOP~rule":{"booted":"9/100","carried":true,"computable":"1/100","local":"57/100","mass":"57/100","top":8},"WHOLE~first":{"booted":"43/100","carried":false,"computable":"1/50","local":"11/50","mass":"43/100","top":9},"WHOLE~pair":{"booted":"1/2","carried":true,"computable":"1/50","local":"19/100","mass":"1/2","top":9},"WHOLE~rule":{"booted":"37/100","carried":false,"computable":"1/100","local":"6/25","mass":"37/100","top":9}},"prior":null,"read":7,"seals":["bcf8b02"],"state":2,"walk":null},"8":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":10,"rate":"5/6"},"descent":{"asked":2,"hits":2,"misses":[]},"event":null,"gate":{"asked":32,"hits":28,"misses":["R08-WHOLE~first:below_under","R08-WHOLE~rule:below_under","R08-INNER~first:below_under","R08-INNER~rule:below_under"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"17/50","carried":false,"computable":"1/50","local":"21/100","mass":"17/50","top":9},"INNER~rule":{"booted":"19/50","carried":false,"computable":"3/100","local":"3/25","mass":"19/50","top":9},"TOP~first":{"booted":"9/50","carried":false,"computable":"1/50","local":"27/100","mass":"8/25","top":2},"TOP~rule":{"booted":"1/20","carried":false,"computable":"1/50","local":"47/100","mass":"47/100","top":7},"WHOLE~first":{"booted":"21/50","carried":false,"computable":"1/50","local":"17/100","mass":"21/50","top":9},"WHOLE~pair":{"booted":"3/20","carried":false,"computable":"1/50","local":"11/25","mass":"11/25","top":7},"WHOLE~rule":{"booted":"31/100","carried":false,"computable":"1/100","local":"3/20","mass":"33/100","top":2}},"prior":null,"read":8,"seals":["bcf8b02"],"state":3,"walk":null},"9":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":10,"rate":"5/6"},"descent":{"asked":2,"hits":2,"misses":[]},"event":null,"gate":{"asked":32,"hits":24,"misses":["R09-WHOLE~first:below_under","R09-WHOLE~first:tail_top","R09-WHOLE~rule:below_under","R09-WHOLE~rule:tail_top","R09-TOP~first:tail_top","R09-TOP~rule:tail_top","R09-INNER~first:below_under","R09-INNER~rule:below_under"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"11/50","carried":false,"computable":"33/100","local":"2/25","mass":"33/100","top":5},"INNER~rule":{"booted":"19/100","carried":false,"computable":"23/100","local":"1/20","mass":"1/4","top":2},"TOP~first":{"booted":"3/25","carried":false,"computable":"3/50","local":"7/25","mass":"39/100","top":2},"TOP~rule":{"booted":"1/25","carried":false,"computable":"3/100","local":"43/100","mass":"43/100","top":6},"WHOLE~first":{"booted":"6/25","carried":false,"computable":"17/100","local":"11/100","mass":"6/25","top":9},"WHOLE~pair":{"booted":"13/100","carried":false,"computable":"49/100","local":"7/100","mass":"49/100","top":5},"WHOLE~rule":{"booted":"4/25","carried":false,"computable":"7/50","local":"2/25","mass":"9/25","top":2}},"prior":null,"read":9,"seals":["bcf8b02"],"state":4,"walk":null},"10":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":9,"rate":"3/4"},"descent":{"asked":2,"hits":2,"misses":[]},"event":{"one":{"INNER~first":{"booted":"17/100","carried":false,"computable":"3/20","local":"3/20","mass":"6/25","top":6},"INNER~rule":{"booted":"1/10","carried":false,"computable":"9/100","local":"9/100","mass":"8/25","top":2},"TOP~first":{"booted":"7/25","carried":false,"computable":"19/100","local":"19/100","mass":"33/100","top":2},"TOP~rule":{"booted":"4/25","carried":false,"computable":"29/100","local":"29/100","mass":"29/100","top":5},"WHOLE~first":{"booted":"1/5","carried":false,"computable":"9/100","local":"9/100","mass":"3/10","top":6},"WHOLE~pair":{"booted":"9/50","carried":false,"computable":"9/100","local":"9/100","mass":"27/100","top":6},"WHOLE~rule":{"booted":"21/100","carried":false,"computable":"1/10","local":"1/10","mass":"27/100","top":2}},"stair_mean_mass_on_none":"19/400","stair_mean_mass_on_truth":"64299999999999999/140000000000000000"},"gate":{"asked":32,"hits":23,"misses":["R10-WHOLE~first:below_under","R10-WHOLE~first:tick_row3","R10-WHOLE~rule:below_under","R10-WHOLE~rule:tick_row3","R10-TOP~first:tail_top","R10-INNER~first:below_under","R10-INNER~rule:below_under","R10-TICK~first:below_in_view","R10-TICK~rule:below_in_view"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"17/100","carried":false,"computable":"3/20","local":"3/20","mass":"6/25","top":6},"INNER~rule":{"booted":"1/10","carried":false,"computable":"9/100","local":"9/100","mass":"8/25","top":2},"TOP~first":{"booted":"7/25","carried":false,"computable":"19/100","local":"19/100","mass":"33/100","top":2},"TOP~rule":{"booted":"4/25","carried":false,"computable":"29/100","local":"29/100","mass":"29/100","top":5},"WHOLE~first":{"booted":"1/5","carried":false,"computable":"9/100","local":"9/100","mass":"3/10","top":6},"WHOLE~pair":{"booted":"9/50","carried":false,"computable":"9/100","local":"9/100","mass":"27/100","top":6},"WHOLE~rule":{"booted":"21/100","carried":false,"computable":"1/10","local":"1/10","mass":"27/100","top":2}},"prior":null,"read":10,"seals":["bcf8b02"],"state":5,"walk":null}},"recorded_all_reads":{"P3_form":{"path":[{"booted":"11/20","carried":true,"computable":"1/50","local":"11/20","read":1,"state":1,"top":9},{"booted":"41000000000000003/100000000000000000","carried":false,"computable":"1/50","local":"11/50","read":2,"state":2,"top":9},{"booted":"39999999999999997/100000000000000000","carried":false,"computable":"1/100","local":"17/100","read":3,"state":3,"top":9},{"booted":"1/5","carried":false,"computable":"19/100","local":"7/50","read":4,"state":4,"top":9},{"booted":"9/50","carried":false,"computable":"2/25","local":"2/25","read":5,"state":5,"top":6},{"booted":"1/2","carried":true,"computable":"3/100","local":"1/2","read":6,"state":1,"top":9},{"booted":"43/100","carried":false,"computable":"1/50","local":"11/50","read":7,"state":2,"top":9},{"booted":"21/50","carried":false,"computable":"1/50","local":"17/100","read":8,"state":3,"top":9},{"booted":"6/25","carried":false,"computable":"17/100","local":"11/100","read":9,"state":4,"top":9},{"booted":"1/5","carried":false,"computable":"9/100","local":"9/100","read":10,"state":5,"top":6}],"verdict":"NOT SHOWN"},"P4_form":{"asked":18,"hits":15,"misses":["R02-WHOLE~pair:direction","R06-WHOLE~pair:direction","R06-WHOLE~pair:moved"],"rate":"5/6","verdict":"NOT SHOWN"},"P6_form":{"classes":{"mean_distance":{"0":{"max":"33/1840","mean":"617/46000","mean_rank":"3","min":"43/4600","name":"same state","pairs":5},"1":{"max":"108400000000000001/920000000000000000","mean":"236750000000000001/3680000000000000000","mean_rank":"369/16","min":"53/2300","name":"1 apart","pairs":16},"2":{"max":"83000000000000001/920000000000000000","mean":"178350000000000001/2760000000000000000","mean_rank":"24","min":"15/368","name":"2 apart","pairs":12},"3":{"max":"88000000000000001/920000000000000000","mean":"162500000000000001/1840000000000000000","mean_rank":"71/2","min":"731/9200","name":"3 apart","pairs":8},"4":{"max":"54800000000000001/920000000000000000","mean":"52400000000000001/920000000000000000","mean_rank":"79/4","min":"2191304347826087/40000000000000000","name":"4 apart","pairs":4}},"moved_share":{"0":{"max":"5/46","mean":"19/230","mean_rank":"3","min":"3/46","name":"same state","pairs":5},"1":{"max":"8/23","mean":"5/23","mean_rank":"197/8","min":"5/46","name":"1 apart","pairs":16},"2":{"max":"11/46","mean":"35/184","mean_rank":"269/12","min":"7/46","name":"2 apart","pairs":12},"3":{"max":"13/46","mean":"6/23","mean_rank":"37","min":"5/23","name":"3 apart","pairs":8},"4":{"max":"4/23","mean":"15/92","mean_rank":"61/4","min":"7/46","name":"4 apart","pairs":4}}},"mean_distance_strict":{"ends_by_floor":true,"inverted_by_floor":false,"means_increasing":false,"outer_separated":true,"pass":false},"moved_share_strict":{"ends_by_floor":true,"inverted_by_floor":false,"means_increasing":false,"outer_separated":true,"pass":false},"verdict":"NOT SHOWN"},"gate_by_question":{"below_count":{"asked":40,"hits":40},"below_in_view":{"asked":20,"hits":16},"below_under":{"asked":40,"hits":8},"rows":{"asked":20,"hits":20},"rows_in_view":{"asked":20,"hits":20},"tail_top":{"asked":40,"hits":32},"tick_in_view":{"asked":20,"hits":20},"tick_row2":{"asked":40,"hits":40},"tick_row3":{"asked":40,"hits":35},"tick_top":{"asked":40,"hits":40}},"note":"judged by nothing (§7): the strict form and the scale over every complete read, whatever P1","pairs":[{"answers":46,"class":"1","class_name":"1 apart","i":1,"j":2,"mean_distance":"331/4600","moved_share":"4/23","top_changed":4},{"answers":46,"class":"2","class_name":"2 apart","i":1,"j":3,"mean_distance":"273/4600","moved_share":"7/46","top_changed":3},{"answers":46,"class":"3","class_name":"3 apart","i":1,"j":4,"mean_distance":"189/2300","moved_share":"13/46","top_changed":3},{"answers":46,"class":"4","class_name":"4 apart","i":1,"j":5,"mean_distance":"53400000000000001/920000000000000000","moved_share":"4/23","top_changed":2},{"answers":46,"class":"0","class_name":"same state","i":1,"j":6,"mean_distance":"43/4600","moved_share":"3/46","top_changed":2},{"answers":46,"class":"1","class_name":"1 apart","i":1,"j":7,"mean_distance":"301/4600","moved_share":"4/23","top_changed":3},{"answers":46,"class":"2","class_name":"2 apart","i":1,"j":8,"mean_distance":"71/1150","moved_share":"4/23","top_changed":4},{"answers":46,"class":"3","class_name":"3 apart","i":1,"j":9,"mean_distance":"731/9200","moved_share":"6/23","top_changed":3},{"answers":46,"class":"4","class_name":"4 apart","i":1,"j":10,"mean_distance":"2191304347826087/40000000000000000","moved_share":"7/46","top_changed":2},{"answers":46,"class":"1","class_name":"1 apart","i":2,"j":3,"mean_distance":"3/92","moved_share":"7/46","top_changed":1},{"answers":46,"class":"2","class_name":"2 apart","i":2,"j":4,"mean_distance":"219/4600","moved_share":"5/23","top_changed":1},{"answers":46,"class":"3","class_name":"3 apart","i":2,"j":5,"mean_distance":"87000000000000001/920000000000000000","moved_share":"13/46","top_changed":4},{"answers":46,"class":"1","class_name":"1 apart","i":2,"j":6,"mean_distance":"349/4600","moved_share":"4/23","top_changed":3},{"answers":46,"class":"0","class_name":"same state","i":2,"j":7,"mean_distance":"29/2300","moved_share":"2/23","top_changed":1},{"answers":46,"class":"1","class_name":"1 apart","i":2,"j":8,"mean_distance":"63/2300","moved_share":"3/23","top_changed":0},{"answers":46,"class":"2","class_name":"2 apart","i":2,"j":9,"mean_distance":"421/9200","moved_share":"11/46","top_changed":1},{"answers":46,"class":"3","class_name":"3 apart","i":2,"j":10,"mean_distance":"88000000000000001/920000000000000000","moved_share":"6/23","top_changed":4},{"answers":46,"class":"1","class_name":"1 apart","i":3,"j":4,"mean_distance":"24/575","moved_share":"9/46","top_changed":0},{"answers":46,"class":"2","class_name":"2 apart","i":3,"j":5,"mean_distance":"83000000000000001/920000000000000000","moved_share":"4/23","top_changed":4},{"answers":46,"class":"2","class_name":"2 apart","i":3,"j":6,"mean_distance":"36/575","moved_share":"7/46","top_changed":3},{"answers":46,"class":"1","class_name":"1 apart","i":3,"j":7,"mean_distance":"61/2300","moved_share":"3/23","top_changed":0},{"answers":46,"class":"0","class_name":"same state","i":3,"j":8,"mean_distance":"11/920","moved_share":"5/46","top_changed":1},{"answers":46,"class":"1","class_name":"1 apart","i":3,"j":9,"mean_distance":"81/1840","moved_share":"9/46","top_changed":0},{"answers":46,"class":"2","class_name":"2 apart","i":3,"j":10,"mean_distance":"80000000000000001/920000000000000000","moved_share":"9/46","top_changed":4},{"answers":46,"class":"1","class_name":"1 apart","i":4,"j":5,"mean_distance":"108400000000000001/920000000000000000","moved_share":"8/23","top_changed":4},{"answers":46,"class":"3","class_name":"3 apart","i":4,"j":6,"mean_distance":"393/4600","moved_share":"13/46","top_changed":3},{"answers":46,"class":"2","class_name":"2 apart","i":4,"j":7,"mean_distance":"193/4600","moved_share":"5/23","top_changed":0},{"answers":46,"class":"1","class_name":"1 apart","i":4,"j":8,"mean_distance":"27/575","moved_share":"11/46","top_changed":1},{"answers":46,"class":"0","class_name":"same state","i":4,"j":9,"mean_distance":"33/1840","moved_share":"3/46","top_changed":0},{"answers":46,"class":"1","class_name":"1 apart","i":4,"j":10,"mean_distance":"103400000000000001/920000000000000000","moved_share":"8/23","top_changed":4},{"answers":46,"class":"4","class_name":"4 apart","i":5,"j":6,"mean_distance":"54800000000000001/920000000000000000","moved_share":"4/23","top_changed":2},{"answers":46,"class":"3","class_name":"3 apart","i":5,"j":7,"mean_distance":"86600000000000001/920000000000000000","moved_share":"11/46","top_changed":4},{"answers":46,"class":"2","class_name":"2 apart","i":5,"j":8,"mean_distance":"80400000000000001/920000000000000000","moved_share":"9/46","top_changed":4},{"answers":46,"class":"1","class_name":"1 apart","i":5,"j":9,"mean_distance":"106700000000000001/920000000000000000","moved_share":"8/23","top_changed":4},{"answers":46,"class":"0","class_name":"same state","i":5,"j":10,"mean_distance":"7/460","moved_share":"2/23","top_changed":0},{"answers":46,"class":"1","class_name":"1 apart","i":6,"j":7,"mean_distance":"159/2300","moved_share":"4/23","top_changed":3},{"answers":46,"class":"2","class_name":"2 apart","i":6,"j":8,"mean_distance":"149/2300","moved_share":"7/46","top_changed":3},{"answers":46,"class":"3","class_name":"3 apart","i":6,"j":9,"mean_distance":"151/1840","moved_share":"6/23","top_changed":3},{"answers":46,"class":"4","class_name":"4 apart","i":6,"j":10,"mean_distance":"51000000000000001/920000000000000000","moved_share":"7/46","top_changed":2},{"answers":46,"class":"1","class_name":"1 apart","i":7,"j":8,"mean_distance":"53/2300","moved_share":"5/46","top_changed":1},{"answers":46,"class":"2","class_name":"2 apart","i":7,"j":9,"mean_distance":"15/368","moved_share":"5/23","top_changed":0},{"answers":46,"class":"3","class_name":"3 apart","i":7,"j":10,"mean_distance":"85600000000000001/920000000000000000","moved_share":"5/23","top_changed":4},{"answers":46,"class":"1","class_name":"1 apart","i":8,"j":9,"mean_distance":"87/1840","moved_share":"11/46","top_changed":1},{"answers":46,"class":"2","class_name":"2 apart","i":8,"j":10,"mean_distance":"79400000000000001/920000000000000000","moved_share":"9/46","top_changed":4},{"answers":46,"class":"1","class_name":"1 apart","i":9,"j":10,"mean_distance":"102300000000000001/920000000000000000","moved_share":"8/23","top_changed":4}],"reads":[1,2,3,4,5,6,7,8,9,10],"scale":{"floor":"1/40","largest":"8/23","smallest":"3/46","spread":"13/46","verdict":"AT SCALE"},"tau":{"mean_distance":"148/495","moved_share":"14/55","pairs":45}},"verdict":"RESOLVED","void":[]}