{"P":64,"P2":{"asked":0,"hits":0,"long_way":0,"moved_asked":0,"moved_hits":0,"rate":null,"verdict":"NOT READ"},"P3":{"3":{"against":1,"verdict":"NOT READ"},"5":{"against":3,"verdict":"NOT READ"},"7":{"against":5,"verdict":"NOT READ"},"9":{"against":7,"verdict":"NOT READ"}},"P4":{"verdict":"NOT READ","why":"no pairs"},"P4_recorded":{"all":{"verdict":"NOT READ","why":"no pairs"},"literal":{"verdict":"NOT READ","why":"no pairs"}},"P5":{"verdict":"NOT READ"},"P6":{"verdict":"NOT DUE"},"c":32,"complete":[1,2],"due":["P2","P4","P5"],"held":[],"landed_at":"Act 3, the first cycle of L1, seal 65a20e7","line":"L1","manifest_pin":"2699ba597223d098ac428bb1ee45956d1bf6491c3de555ef99e9c3514fa92ef5","name":"the half","pairs":{"all":[],"invariant":[],"literal":[]},"readout_version":1,"reads":{"1":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":31,"mean_mass_on_truth":"381/1000","mean_mass_on_zero_where_not_zero":"39/200"},"P8":{"closed_first_mean":"153/400","closed_rule_mean":"89/100","returns_soon_mean":null,"returns_soon_truth":true},"direction":{"asked":0,"hits":0,"long_way":0,"moved_asked":0,"moved_hits":0},"literal":{"asked":24,"hits":14,"misses":["R01-v1-FULL~first:domain_group","R01-v1-FULL~rule:domain_group","R01-v2-FULL~first:domain_group","R01-v2-FULL~rule:domain_group","R01-v2-FOLD~first:domain_here","R01-v2-FOLD~rule:domain_here","R01-v3-FULL~first:domain_group","R01-v3-FULL~rule:domain_group","R01-v3-SEAM~first:domain_here","R01-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":0,"read":1,"seals":["65a20e7"]},"2":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":31,"mean_mass_on_truth":"2701/7000","mean_mass_on_zero_where_not_zero":"81/425"},"P8":{"closed_first_mean":"83/200","closed_rule_mean":"22/25","returns_soon_mean":"33/80","returns_soon_truth":true},"direction":{"asked":4,"hits":4,"long_way":0,"moved_asked":4,"moved_hits":0},"literal":{"asked":24,"hits":17,"misses":["R02-v0-FULL~first:domain_group","R02-v0-FULL~rule:domain_group","R02-v1-FULL~first:domain_group","R02-v1-FULL~rule:domain_group","R02-v3-FULL~first:domain_group","R02-v3-FULL~rule:domain_group","R02-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":32,"read":2,"seals":["65a20e7"]},"3":{"P0":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R03-v0-FULL~first","R03-v0-FULL~rule","R03-v0-FULL~pair","R03-v0-FOLD~first","R03-v0-FOLD~rule","R03-v0-FOLD~pair","R03-v0-SEAM~first","R03-v0-SEAM~rule","R03-v0-SEAM~pair","R03-v1-FULL~first","R03-v1-FULL~rule","R03-v1-FULL~pair","R03-v1-RUN~first","R03-v1-RUN~rule","R03-v1-RUN~pair","R03-v1-SEAM~first","R03-v1-SEAM~rule","R03-v1-SEAM~pair","R03-v2-FULL~first","R03-v2-FULL~rule","R03-v2-FULL~pair","R03-v2-FOLD~first","R03-v2-FOLD~rule","R03-v2-FOLD~pair","R03-v2-SEAM~first","R03-v2-SEAM~rule","R03-v2-SEAM~pair","R03-v3-FULL~first","R03-v3-FULL~rule","R03-v3-FULL~pair","R03-v3-RUN~first","R03-v3-RUN~rule","R03-v3-RUN~pair","R03-v3-SEAM~first","R03-v3-SEAM~rule","R03-v3-SEAM~pair"],"model_off_pin":[],"phase":0,"read":3,"seals":[]},"4":{"P0":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R04-v0-FULL~first","R04-v0-FULL~rule","R04-v0-FULL~pair","R04-v0-FOLD~first","R04-v0-FOLD~rule","R04-v0-FOLD~pair","R04-v0-SEAM~first","R04-v0-SEAM~rule","R04-v0-SEAM~pair","R04-v1-FULL~first","R04-v1-FULL~rule","R04-v1-FULL~pair","R04-v1-RUN~first","R04-v1-RUN~rule","R04-v1-RUN~pair","R04-v1-SEAM~first","R04-v1-SEAM~rule","R04-v1-SEAM~pair","R04-v2-FULL~first","R04-v2-FULL~rule","R04-v2-FULL~pair","R04-v2-FOLD~first","R04-v2-FOLD~rule","R04-v2-FOLD~pair","R04-v2-SEAM~first","R04-v2-SEAM~rule","R04-v2-SEAM~pair","R04-v3-FULL~first","R04-v3-FULL~rule","R04-v3-FULL~pair","R04-v3-RUN~first","R04-v3-RUN~rule","R04-v3-RUN~pair","R04-v3-SEAM~first","R04-v3-SEAM~rule","R04-v3-SEAM~pair"],"model_off_pin":[],"phase":32,"read":4,"seals":[]},"5":{"P0":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R05-v0-FULL~first","R05-v0-FULL~rule","R05-v0-FULL~pair","R05-v0-FOLD~first","R05-v0-FOLD~rule","R05-v0-FOLD~pair","R05-v0-SEAM~first","R05-v0-SEAM~rule","R05-v0-SEAM~pair","R05-v1-FULL~first","R05-v1-FULL~rule","R05-v1-FULL~pair","R05-v1-RUN~first","R05-v1-RUN~rule","R05-v1-RUN~pair","R05-v1-SEAM~first","R05-v1-SEAM~rule","R05-v1-SEAM~pair","R05-v2-FULL~first","R05-v2-FULL~rule","R05-v2-FULL~pair","R05-v2-FOLD~first","R05-v2-FOLD~rule","R05-v2-FOLD~pair","R05-v2-SEAM~first","R05-v2-SEAM~rule","R05-v2-SEAM~pair","R05-v3-FULL~first","R05-v3-FULL~rule","R05-v3-FULL~pair","R05-v3-RUN~first","R05-v3-RUN~rule","R05-v3-RUN~pair","R05-v3-SEAM~first","R05-v3-SEAM~rule","R05-v3-SEAM~pair"],"model_off_pin":[],"phase":0,"read":5,"seals":[]},"6":{"P0":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R06-v0-FULL~first","R06-v0-FULL~rule","R06-v0-FULL~pair","R06-v0-FOLD~first","R06-v0-FOLD~rule","R06-v0-FOLD~pair","R06-v0-SEAM~first","R06-v0-SEAM~rule","R06-v0-SEAM~pair","R06-v1-FULL~first","R06-v1-FULL~rule","R06-v1-FULL~pair","R06-v1-RUN~first","R06-v1-RUN~rule","R06-v1-RUN~pair","R06-v1-SEAM~first","R06-v1-SEAM~rule","R06-v1-SEAM~pair","R06-v2-FULL~first","R06-v2-FULL~rule","R06-v2-FULL~pair","R06-v2-FOLD~first","R06-v2-FOLD~rule","R06-v2-FOLD~pair","R06-v2-SEAM~first","R06-v2-SEAM~rule","R06-v2-SEAM~pair","R06-v3-FULL~first","R06-v3-FULL~rule","R06-v3-FULL~pair","R06-v3-RUN~first","R06-v3-RUN~rule","R06-v3-RUN~pair","R06-v3-SEAM~first","R06-v3-SEAM~rule","R06-v3-SEAM~pair"],"model_off_pin":[],"phase":32,"read":6,"seals":[]},"7":{"P0":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R07-v0-FULL~first","R07-v0-FULL~rule","R07-v0-FULL~pair","R07-v0-FOLD~first","R07-v0-FOLD~rule","R07-v0-FOLD~pair","R07-v0-SEAM~first","R07-v0-SEAM~rule","R07-v0-SEAM~pair","R07-v1-FULL~first","R07-v1-FULL~rule","R07-v1-FULL~pair","R07-v1-RUN~first","R07-v1-RUN~rule","R07-v1-RUN~pair","R07-v1-SEAM~first","R07-v1-SEAM~rule","R07-v1-SEAM~pair","R07-v2-FULL~first","R07-v2-FULL~rule","R07-v2-FULL~pair","R07-v2-FOLD~first","R07-v2-FOLD~rule","R07-v2-FOLD~pair","R07-v2-SEAM~first","R07-v2-SEAM~rule","R07-v2-SEAM~pair","R07-v3-FULL~first","R07-v3-FULL~rule","R07-v3-FULL~pair","R07-v3-RUN~first","R07-v3-RUN~rule","R07-v3-RUN~pair","R07-v3-SEAM~first","R07-v3-SEAM~rule","R07-v3-SEAM~pair"],"model_off_pin":[],"phase":0,"read":7,"seals":[]},"8":{"P0":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R08-v0-FULL~first","R08-v0-FULL~rule","R08-v0-FULL~pair","R08-v0-FOLD~first","R08-v0-FOLD~rule","R08-v0-FOLD~pair","R08-v0-SEAM~first","R08-v0-SEAM~rule","R08-v0-SEAM~pair","R08-v1-FULL~first","R08-v1-FULL~rule","R08-v1-FULL~pair","R08-v1-RUN~first","R08-v1-RUN~rule","R08-v1-RUN~pair","R08-v1-SEAM~first","R08-v1-SEAM~rule","R08-v1-SEAM~pair","R08-v2-FULL~first","R08-v2-FULL~rule","R08-v2-FULL~pair","R08-v2-FOLD~first","R08-v2-FOLD~rule","R08-v2-FOLD~pair","R08-v2-SEAM~first","R08-v2-SEAM~rule","R08-v2-SEAM~pair","R08-v3-FULL~first","R08-v3-FULL~rule","R08-v3-FULL~pair","R08-v3-RUN~first","R08-v3-RUN~rule","R08-v3-RUN~pair","R08-v3-SEAM~first","R08-v3-SEAM~rule","R08-v3-SEAM~pair"],"model_off_pin":[],"phase":32,"read":8,"seals":[]},"9":{"P0":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R09-v0-FULL~first","R09-v0-FULL~rule","R09-v0-FULL~pair","R09-v0-FOLD~first","R09-v0-FOLD~rule","R09-v0-FOLD~pair","R09-v0-SEAM~first","R09-v0-SEAM~rule","R09-v0-SEAM~pair","R09-v1-FULL~first","R09-v1-FULL~rule","R09-v1-FULL~pair","R09-v1-RUN~first","R09-v1-RUN~rule","R09-v1-RUN~pair","R09-v1-SEAM~first","R09-v1-SEAM~rule","R09-v1-SEAM~pair","R09-v2-FULL~first","R09-v2-FULL~rule","R09-v2-FULL~pair","R09-v2-FOLD~first","R09-v2-FOLD~rule","R09-v2-FOLD~pair","R09-v2-SEAM~first","R09-v2-SEAM~rule","R09-v2-SEAM~pair","R09-v3-FULL~first","R09-v3-FULL~rule","R09-v3-FULL~pair","R09-v3-RUN~first","R09-v3-RUN~rule","R09-v3-RUN~pair","R09-v3-SEAM~first","R09-v3-SEAM~rule","R09-v3-SEAM~pair"],"model_off_pin":[],"phase":0,"read":9,"seals":[]},"10":{"P0":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R10-v0-FULL~first","R10-v0-FULL~rule","R10-v0-FULL~pair","R10-v0-FOLD~first","R10-v0-FOLD~rule","R10-v0-FOLD~pair","R10-v0-SEAM~first","R10-v0-SEAM~rule","R10-v0-SEAM~pair","R10-v1-FULL~first","R10-v1-FULL~rule","R10-v1-FULL~pair","R10-v1-RUN~first","R10-v1-RUN~rule","R10-v1-RUN~pair","R10-v1-SEAM~first","R10-v1-SEAM~rule","R10-v1-SEAM~pair","R10-v2-FULL~first","R10-v2-FULL~rule","R10-v2-FULL~pair","R10-v2-FOLD~first","R10-v2-FOLD~rule","R10-v2-FOLD~pair","R10-v2-SEAM~first","R10-v2-SEAM~rule","R10-v2-SEAM~pair","R10-v3-FULL~first","R10-v3-FULL~rule","R10-v3-FULL~pair","R10-v3-RUN~first","R10-v3-RUN~rule","R10-v3-RUN~pair","R10-v3-SEAM~first","R10-v3-SEAM~rule","R10-v3-SEAM~pair"],"model_off_pin":[],"phase":32,"read":10,"seals":[]}},"verdict":"OPEN-EDGE","void":[]}