{ "nsim": 1000000, "nsim_sub": 200000, "seed": 20260914, "k_substitutions": 2, "table3_reproduction": { "table3_len": 520, "mismatches_using_gillogly_numbers": [], "mismatches_using_our_B1_numbers_(pos, ours, gillogly, table3, ours_decoded)": [ [ 260, 324, 320, "D", "O" ], [ 417, 39, 36, "A", "T" ], [ 462, 868, 858, "P", "S" ], [ 489, 428, 328, "O", "T" ] ] }, "decodes": { "gillogly_table1": { "B1": "SCS?ETFA?GCDOTTUCWOTWTAAIWDBIIDTT?WTTAABBPLAAABWCTLTFIFLKILPEAABPWCHOTOAPPPMORALANHAABBCCACDDEAOSDSFHNTFTATPOCACBCDDLBERIFEBTHIFOEHUUBTTTTTIHPAOAASATAATTOMTAPOAAAROMPJDRA??TSBCOBDAAACPNRBABFDEFGHIIJKLMMNOHPPAWTACMOBLSOESSOAVISPFTAOTBTFTHFOAOGHWTENALCAASAATTAROSLTAWGFESAUWAOLTTAHHTTASOTTEAFAASCSTAIFRCABTOTLHHDTNHWTSTEAIEOAASTWTTSOITSSTAAOPIWCPCWSOTTIOIESITTDATTPIUFSFRFABPTCCOAITNATTOSTSTF??ATDATWTATTOCWTOMPATSOTECTTTOTBSOGCWCDROLITIBHPWAAE?BTSTAFAEWCI?CBOWLTSOACTEWTAFOAITHTTTTOSHRISTETOECUSC?RAIHRLWSTRASNITPCBFAEFTB", "B3": "AICHREIHARHTTSTTDAADLATAOCTTAWTPSEEWDTTBOAFRMATHDNFOEBOTAABMPSOBTLAIATSBOEIINRANTALEEHMTAOGITMEAASRETHOEABTTREAACCTTDCGAATRTWTIDIPHBEOFOASFOBTDMMATWTACCSTTTEBAWATTTAAANHRTTJBOLRTCARSOTNOTTNCTEANBTIOOAETAGISWRFATHUOAWTWPTTHATTETISOLSWTCOHATTEOEEAWPAOLHLTRTETAWISBOHOCGDRTFEMFBASAAATECOCTARAENTTAROTLSCOTSFTONAEATTASWBSTUIGMBOEWTPTLATDCKAADBCSCWTCGROCRMEWMTSFTBWTMUATTTOSBEDAETEATRTOSDTTTOTWTITPHBPLOTFWBRTNDWWSCJBWHERBGBTLGHTUETTWRALBITATWRGAWPMGPTTGITTWTDJFTTHCSWTLCGERTSWATMOOOROORPTWDTBTLOETAAITTPDAERARCTBITAJLSHECBCTDMTOTTTRBDMTWOOHSTDTHRCACMEOOCHWWAFSLWWECRCMITAEDTREHOSNEWTNDRCTIIBWMAOOOONTBOTALTTAAEOSTFABWHBJAB" }, "nara_straight": { "B1": "SCS?ETFA?GCDOTTUCWOTWTAAIWDBIIDTT?WTFATBBCTAAABWCTLTFIFLKILPEAABPWCHOTOAPTPMORALANHAABBCCACDDEAOSDSFHNTFTATPOCACBCDDLUERIFPBTHIFOEHUUBTATTTIHPAOALSATAWTTOMOAPAAAARAAPJDRT??TSBCOCDAAACPNRBABFDEFGHIIJKLMMNOHPPCWTAAMABLSOESSOAMISPFTAOTBTFTHTOAOGHWTENALCAASAATTAROFTTAWGFESAUWAOLTTAHHTTASOATHAFAASCSTAIJRCABTOTVHHDCNHWTSTEOIEOATSTWTTSOIFSSTAAOPIWCPCWSOTTIPIESITTDATTPIUFSLRFABPTCHAAITNATTOSTSTF??ATDATWOATTNCWTOMPATSOTECTTFWOBSOGCWCDROLITIBHTWAAH?BWSTAFAEWCA?OBOWLTOOACTEWTAFOAITHTTTTOSHRISTETTECUSO?TLIHRLWSTRASNITPCBWLEFTU", "B3": "AICHREIHARHTOSTTDAADLATAOCTTAWTPSEEWDTTBOAFRMATHDNFOEBOTAABMPSOBTLAIATSBOEIINRANTALEEHMTAOGITMEAASRETHOEABTTREAACCTTDCGAATRTWTIDIPHBEOFOASFOBTDMMATWTACCSTTTEBAWATTTAAANHRTTJBOLRTCARSOTNOTTNCTEANBTIOOAETAGISWRFATHUOAWTWPTTHATTETISOLSWTCOHATTEOEEAWPAOLHLTRTETAWISBOHOCGDRTFEMFBASAAATECOCTARAENTTAROTLSCOTSFTONAEATTASWBSTUIGMBOEWTPTLATDCKOADBCSCWTCGROCRMEWMTSFTBWTMUATTTOSBEDAETEATRTOSDTTTOTWTITPHBPVOTFWBRTNDWWSCJBWHERBGBTLGHTUETTWRALBITATWRGAWPMGPTTGITTWTDJFTTHCSWTLCGERTSTATMOAOROORPTWDTBTLOETAAITTPDAERARCTBITAAOTUECBCTDMTOTTTRBDMTWOOHSTDTHRAACMENOCHWWAFSLWWECRCMITAEDTREHOSNEWTNDRCTIIBAOAOOOONTBOTALTTAAEOSTFCBWHBALB" }, "pamphlet_encoder_key": { "B1": "SBS?ETFA?GCDOTTUCWWTWTAAISDBTIDTT?WTABAABADAAABBCDEFFIFLKIGPEAMNPWCHOOOALLPMOTAMANHABBBCCCCDDEAOSDSTONTFTATPOCACBCDDELETPFTBTHIFFEHUUBTJTTTIHPAOAOSATAOTT?MNMPTAAARBOPJDTT??TSBCOIDAFACPNRBABCDEFGHIIJKLMMNOHPPAWTAOMBBLSOESAOOSISPCTAOLBTFLHTOASGOWTENCLCASSAASTATOLHTAWGFEAAFBACATTWHBTTAAOETSAFAASBSTCIHRCABTODOTTDONHWTSTEHITOATSTWTTSOFDASTAAHSIWCPCWTOTLINIEEITTDATTPIUFAERFABPTCTTOIDNATTOATSTI??ATNATWNWTTOCWTOTPATSOTEBTTRAHBTOGTWCDROLITIAHLWAAS?BOSTAFAEWCM?OTOWLTOWCCTEWTAFOAAWETTTTOTHRISUETHACUAO?POIHRMSSTRASNITPCTIOWFTF", "B3": "AICHREIHARHTOSTTDAADLATAOCTTAWTPAEEWDTTBOAFRMADHDNFOEBOTAABMPSOTAMAIATSBOEIINRANTALEEHMTAOGITSEAASRWTHOEABTTREAACCTTDCGAATRTWTPDIPHBEOFOAETOBTDMMATWSACCSTTTEBAWASTTAAANHRTTJBOLTDCATSOTNOTTNCTEANBTIOFSATAGISWRFATHAOAWTWPTTHATTELISOLSWTCOHATTWOEEAWPAOLHFWRAADAWITAOHOCGDRTFEMFBASAAATECOCTARAENTTAROTMTBOAHFTONAEATTMTWBSTUIGSBOAWLHSGCTDCKPEDBCSCWTCGROCRTOWMTSFTBSTMUETTTOTBEDAETEATRTOADTTTOTSTIWPHTPOOTFWBRTNDWWSCJBWHERAGBTLGETUTATTRELBPTATWRGAWPMGSTTGITTWTDJFTTHCTWTLCGERTSCCTMTTOROORPSWDTBTLOETAAITTPDSATTRCTBITAGQOAACBCTDMTOTTTRBWSTSOOHSTWTHROECAEOOTEWWAFSLWWECRCMITOOWTREHOSNEWTNDRCSIITRFLBCOWNTBOTSLTTAAEATTFOBWHRGOD" }, "pamphlet_straight": { "B1": "SBS?ETFA?GCDOTTICCITWTAAISDBWIDTT?WTFFTALCTAUCGBCDAFLPFLPIGPEAMNPWCHRATALTTMOTAMANWAFBLCCCTDIEARPDSTHNTLTATTOCATBCDAAUETPHPBTHHFFEHUIBTATTTOWPAOALSATAWTTOWOMPAHAARAAPJDTT??TSBCOCDAFACPNRBALCIEFGHIIJPLMHNOTPOCWTAAMABLSRESAOIMISPCTAOLBTFLFTOAOGHWTENAPCASSHASTATEFTTAWGFEACTWARATTWOHTTAADATHAHAASBSTCRJRCABTODVTWHCNHWTSTEORHHTTSTWTTSOPFAPTAASSSWCPAWTOTLIPIEEITTDATTPIIFALRFABTTCHAOIDNATTOATSTP??ATNATWOWTTNCNTOTTATSOTEBTDFWOBTRGFWCDROLRTIAWTWAAH?BWSTAFTEWCD?OTOWLTOIACTEWTAFETPWTOTTTOTHRROTTFTACIAO?TLITRMSSTRASNITPCTWLWFTU", "B3": "UICHREIAARHTOSTRDAAATATAOCTTAWTPAEEWDTTBOAFRMADTDNFOEBOTUABMTSOTAMIHATOSOEHINRANTALEEHMTAOGITSEIASRWTAOEABTTREAACCTTACNAATRTWTPDIPHBEOFOAETTBTDMMATWSACCSTTTEBAWASTTAAUPARTTJBOLTDCATSHTNOTTNCTEANBTIOFSATAORBMRFATAAOAWTWPTTHATTELSFDPOWTCOHATTWOEEAWPAOLHFWHAADAWITAOHTCGDRTFEMFBASAAATECOCTARAENTTAROTMTBOAHTTONAEATTMTWBSTIIGSBOAWLHSGCTTWPOFIBCSCWTCGROCRTOWMTSFTBSTMAEOTTOTBEDAETEATRTOADTTTOTSTIWTHTTVTTTWBRTNDWWSCJBWHERAGBTLGTTPTATTOELBPTATWRGAWPMGSTTGITTWTDJFTTHCTWTLCSERTFTACHTAHWTBRPSWDTBTLOETAAITTPDSATTTCTBHIOAOTUACBCTDMTOTTTRBWSTSRHHOTWTHOAFCAENOATWWAFSLWWECRCMITOOWTREHOSNEWTNDRCSRHTAOACHRINTBOTSLTTAAEATTTCSPWTALA" } }, "B1_numbers_out_of_range": { "gillogly_table1": 10, "nara_straight": 10, "pamphlet_encoder_key": 11, "pamphlet_straight": 10 }, "B1_numbers_gt_1322": 10, "key_lengths": { "gillogly_table1": 1322, "nara_straight": 1322, "pamphlet_encoder_key": 1312, "pamphlet_straight": 1324 }, "gillogly_string": { "string": "ABFDEFGHIIJKLMMNOHPP", "index0_in_table3": 187, "index0_in_our_decode": 187, "positions_1based": [ 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207 ], "numbers": [ 147, 436, 195, 320, 37, 122, 113, 6, 140, 8, 120, 305, 42, 58, 461, 44, 106, 301, 13, 408 ], "decoded_under_each_key": { "gillogly_table1": "ABFDEFGHIIJKLMMNOHPP", "nara_straight": "ABFDEFGHIIJKLMMNOHPP", "pamphlet_encoder_key": "ABCDEFGHIIJKLMMNOHPP", "pamphlet_straight": "ALCIEFGHIIJPLMHNOTPO" } }, "off_by_one_claim_(194,195,301,302)": { "gillogly_table1": { "194": "C", "195": "F", "301": "H", "302": "O" }, "nara_straight": { "194": "C", "195": "F", "301": "H", "302": "O" }, "pamphlet_encoder_key": { "194": "B", "195": "C", "301": "H", "302": "O" }, "pamphlet_straight": { "194": "B", "195": "C", "301": "T", "302": "H" } }, "key_words_194_195_301_302": { "pamphlet_numbering": { "194": [ "be" ], "195": [ "changed" ], "301": [ "history" ], "302": [ "of" ] }, "nara": { "194": "changed", "195": "for", "301": "history", "302": "of" } }, "observed": { "B1/gillogly_table1": { "S1_longest_nondecreasing_exact": 14, "S2_longest_step01_exact": 14, "n_nondecreasing_runs_ge5": 13, "n_nondecreasing_runs_ge8": 1, "n_step01_runs_ge5": 3, "S3_nondecreasing_le2_subs": 20, "S3_nondecreasing_le2_subs_letters": "ABCDEFGHIIJKLMMNOOPP", "S3_nondecreasing_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 194, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ], [ 205, 301, 302, "O" ], [ 206, 13, 13, "P" ], [ 207, 408, 408, "P" ] ], "S4_nondecreasing_unlimited_subs": 22, "S4_nondecreasing_unlimited_subs_letters": "ABCDEFGHIIJKLMMOOOOOUW", "S4_nondecreasing_unlimited_subs_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 194, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 139, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 43, "O" ], [ 204, 106, 106, "O" ], [ 205, 301, 302, "O" ], [ 206, 13, 12, "O" ], [ 207, 408, 407, "O" ], [ 208, 680, 681, "U" ], [ 209, 93, 93, "W" ] ], "S5_step01_le2_subs": 20, "S5_step01_le2_subs_letters": "ABCDEFGHIIJKLMMNOOPP", "S5_step01_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 194, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ], [ 205, 301, 302, "O" ], [ 206, 13, 13, "P" ], [ 207, 408, 408, "P" ] ], "S6_nondecreasing_le1_sub": 17, "S6_nondecreasing_le1_sub_letters": "ABCDEFGHIIJKLMMNO", "S6_nondecreasing_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 194, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ] ], "S7_step01_le1_sub": 17, "S7_step01_le1_sub_letters": "ABCDEFGHIIJKLMMNO", "S7_step01_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 194, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ] ] }, "B3/gillogly_table1": { "S1_longest_nondecreasing_exact": 7, "S2_longest_step01_exact": 4, "n_nondecreasing_runs_ge5": 13, "n_nondecreasing_runs_ge8": 0, "n_step01_runs_ge5": 0, "S3_nondecreasing_le2_subs": 9, "S3_nondecreasing_le2_subs_letters": "ACCSTTTTT", "S3_nondecreasing_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 150, 27, 27, "A" ], [ 151, 21, 21, "C" ], [ 152, 84, 84, "C" ], [ 153, 35, 35, "S" ], [ 154, 54, 54, "T" ], [ 155, 109, 109, "T" ], [ 156, 128, 128, "T" ], [ 157, 49, 50, "T" ], [ 158, 77, 76, "T" ] ], "S4_nondecreasing_unlimited_subs": 13, "S4_nondecreasing_unlimited_subs_letters": "ACCHTTTTTTTTT", "S4_nondecreasing_unlimited_subs_detail_(pos, printed_n, n_read, letter)": [ [ 215, 24, 24, "A" ], [ 216, 93, 92, "C" ], [ 217, 3, 4, "C" ], [ 218, 19, 20, "H" ], [ 219, 17, 16, "T" ], [ 220, 26, 26, "T" ], [ 221, 60, 60, "T" ], [ 222, 73, 74, "T" ], [ 223, 88, 87, "T" ], [ 224, 14, 14, "T" ], [ 225, 126, 126, "T" ], [ 226, 138, 137, "T" ], [ 227, 234, 234, "T" ] ], "S5_step01_le2_subs": 7, "S5_step01_le2_subs_letters": "STTTTTT", "S5_step01_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 382, 216, 216, "S" ], [ 383, 118, 119, "T" ], [ 384, 29, 29, "T" ], [ 385, 55, 55, "T" ], [ 386, 109, 109, "T" ], [ 387, 136, 137, "T" ], [ 388, 172, 172, "T" ] ], "S6_nondecreasing_le1_sub": 8, "S6_nondecreasing_le1_sub_letters": "ACCSTTTT", "S6_nondecreasing_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 150, 27, 27, "A" ], [ 151, 21, 21, "C" ], [ 152, 84, 84, "C" ], [ 153, 35, 35, "S" ], [ 154, 54, 54, "T" ], [ 155, 109, 109, "T" ], [ 156, 128, 128, "T" ], [ 157, 49, 50, "T" ] ], "S7_step01_le1_sub": 5, "S7_step01_le1_sub_letters": "STTTT", "S7_step01_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 153, 35, 35, "S" ], [ 154, 54, 54, "T" ], [ 155, 109, 109, "T" ], [ 156, 128, 128, "T" ], [ 157, 49, 50, "T" ] ] }, "B1/nara_straight": { "S1_longest_nondecreasing_exact": 14, "S2_longest_step01_exact": 14, "n_nondecreasing_runs_ge5": 11, "n_nondecreasing_runs_ge8": 1, "n_step01_runs_ge5": 2, "S3_nondecreasing_le2_subs": 20, "S3_nondecreasing_le2_subs_letters": "ABCDEFGHIIJKLMMNOOPP", "S3_nondecreasing_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 194, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ], [ 205, 301, 302, "O" ], [ 206, 13, 13, "P" ], [ 207, 408, 408, "P" ] ], "S4_nondecreasing_unlimited_subs": 22, "S4_nondecreasing_unlimited_subs_letters": "ABCDEFGHIIJKLMMOOOOOOW", "S4_nondecreasing_unlimited_subs_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 194, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 139, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 43, "O" ], [ 204, 106, 106, "O" ], [ 205, 301, 302, "O" ], [ 206, 13, 12, "O" ], [ 207, 408, 407, "O" ], [ 208, 680, 679, "O" ], [ 209, 93, 93, "W" ] ], "S5_step01_le2_subs": 20, "S5_step01_le2_subs_letters": "ABCDEFGHIIJKLMMNOOPP", "S5_step01_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 194, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ], [ 205, 301, 302, "O" ], [ 206, 13, 13, "P" ], [ 207, 408, 408, "P" ] ], "S6_nondecreasing_le1_sub": 17, "S6_nondecreasing_le1_sub_letters": "ABCDEFGHIIJKLMMNO", "S6_nondecreasing_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 194, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ] ], "S7_step01_le1_sub": 17, "S7_step01_le1_sub_letters": "ABCDEFGHIIJKLMMNO", "S7_step01_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 194, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ] ] }, "B3/nara_straight": { "S1_longest_nondecreasing_exact": 7, "S2_longest_step01_exact": 4, "n_nondecreasing_runs_ge5": 13, "n_nondecreasing_runs_ge8": 0, "n_step01_runs_ge5": 0, "S3_nondecreasing_le2_subs": 9, "S3_nondecreasing_le2_subs_letters": "ACCSTTTTT", "S3_nondecreasing_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 150, 27, 27, "A" ], [ 151, 21, 21, "C" ], [ 152, 84, 84, "C" ], [ 153, 35, 35, "S" ], [ 154, 54, 54, "T" ], [ 155, 109, 109, "T" ], [ 156, 128, 128, "T" ], [ 157, 49, 50, "T" ], [ 158, 77, 76, "T" ] ], "S4_nondecreasing_unlimited_subs": 13, "S4_nondecreasing_unlimited_subs_letters": "ACCHTTTTTTTTT", "S4_nondecreasing_unlimited_subs_detail_(pos, printed_n, n_read, letter)": [ [ 215, 24, 24, "A" ], [ 216, 93, 92, "C" ], [ 217, 3, 4, "C" ], [ 218, 19, 20, "H" ], [ 219, 17, 16, "T" ], [ 220, 26, 26, "T" ], [ 221, 60, 60, "T" ], [ 222, 73, 74, "T" ], [ 223, 88, 87, "T" ], [ 224, 14, 14, "T" ], [ 225, 126, 126, "T" ], [ 226, 138, 137, "T" ], [ 227, 234, 234, "T" ] ], "S5_step01_le2_subs": 7, "S5_step01_le2_subs_letters": "STTTTTT", "S5_step01_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 382, 216, 216, "S" ], [ 383, 118, 119, "T" ], [ 384, 29, 29, "T" ], [ 385, 55, 55, "T" ], [ 386, 109, 109, "T" ], [ 387, 136, 137, "T" ], [ 388, 172, 172, "T" ] ], "S6_nondecreasing_le1_sub": 8, "S6_nondecreasing_le1_sub_letters": "ACCSTTTT", "S6_nondecreasing_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 150, 27, 27, "A" ], [ 151, 21, 21, "C" ], [ 152, 84, 84, "C" ], [ 153, 35, 35, "S" ], [ 154, 54, 54, "T" ], [ 155, 109, 109, "T" ], [ 156, 128, 128, "T" ], [ 157, 49, 50, "T" ] ], "S7_step01_le1_sub": 5, "S7_step01_le1_sub_letters": "STTTT", "S7_step01_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 153, 35, 35, "S" ], [ 154, 54, 54, "T" ], [ 155, 109, 109, "T" ], [ 156, 128, 128, "T" ], [ 157, 49, 50, "T" ] ] }, "B1/pamphlet_encoder_key": { "S1_longest_nondecreasing_exact": 17, "S2_longest_step01_exact": 17, "n_nondecreasing_runs_ge5": 9, "n_nondecreasing_runs_ge8": 3, "n_step01_runs_ge5": 4, "S3_nondecreasing_le2_subs": 22, "S3_nondecreasing_le2_subs_letters": "ABCDEFGHIIJKLMMNOOPPTW", "S3_nondecreasing_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 195, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ], [ 205, 301, 302, "O" ], [ 206, 13, 13, "P" ], [ 207, 408, 408, "P" ], [ 208, 680, 679, "T" ], [ 209, 93, 93, "W" ] ], "S4_nondecreasing_unlimited_subs": 22, "S4_nondecreasing_unlimited_subs_letters": "ABBDEFGHIIJKLMMOOOOOTW", "S4_nondecreasing_unlimited_subs_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 194, "B" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 139, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 43, "O" ], [ 204, 106, 106, "O" ], [ 205, 301, 302, "O" ], [ 206, 13, 12, "O" ], [ 207, 408, 407, "O" ], [ 208, 680, 679, "T" ], [ 209, 93, 93, "W" ] ], "S5_step01_le2_subs": 21, "S5_step01_le2_subs_letters": "ABCDEFGHIIJKLMMNOOPPP", "S5_step01_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 195, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ], [ 205, 301, 302, "O" ], [ 206, 13, 13, "P" ], [ 207, 408, 408, "P" ], [ 208, 680, 681, "P" ] ], "S6_nondecreasing_le1_sub": 20, "S6_nondecreasing_le1_sub_letters": "ABCDEFGHIIJKLMMNOOPP", "S6_nondecreasing_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 195, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ], [ 205, 301, 302, "O" ], [ 206, 13, 13, "P" ], [ 207, 408, 408, "P" ] ], "S7_step01_le1_sub": 20, "S7_step01_le1_sub_letters": "ABCDEFGHIIJKLMMNOOPP", "S7_step01_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 436, "B" ], [ 190, 195, 195, "C" ], [ 191, 320, 320, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 461, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ], [ 205, 301, 302, "O" ], [ 206, 13, 13, "P" ], [ 207, 408, 408, "P" ] ] }, "B3/pamphlet_encoder_key": { "S1_longest_nondecreasing_exact": 7, "S2_longest_step01_exact": 4, "n_nondecreasing_runs_ge5": 11, "n_nondecreasing_runs_ge8": 0, "n_step01_runs_ge5": 0, "S3_nondecreasing_le2_subs": 9, "S3_nondecreasing_le2_subs_letters": "AAACCSTTT", "S3_nondecreasing_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 148, 23, 24, "A" ], [ 149, 217, 216, "A" ], [ 150, 27, 27, "A" ], [ 151, 21, 21, "C" ], [ 152, 84, 84, "C" ], [ 153, 35, 35, "S" ], [ 154, 54, 54, "T" ], [ 155, 109, 109, "T" ], [ 156, 128, 128, "T" ] ], "S4_nondecreasing_unlimited_subs": 13, "S4_nondecreasing_unlimited_subs_letters": "AAACCTTTTTTTW", "S4_nondecreasing_unlimited_subs_detail_(pos, printed_n, n_read, letter)": [ [ 148, 23, 24, "A" ], [ 149, 217, 216, "A" ], [ 150, 27, 27, "A" ], [ 151, 21, 21, "C" ], [ 152, 84, 84, "C" ], [ 153, 35, 34, "T" ], [ 154, 54, 54, "T" ], [ 155, 109, 108, "T" ], [ 156, 128, 128, "T" ], [ 157, 49, 50, "T" ], [ 158, 77, 76, "T" ], [ 159, 88, 87, "T" ], [ 160, 1, 1, "W" ] ], "S5_step01_le2_subs": 7, "S5_step01_le2_subs_letters": "TTTTTTT", "S5_step01_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 384, 29, 29, "T" ], [ 385, 55, 55, "T" ], [ 386, 109, 109, "T" ], [ 387, 136, 137, "T" ], [ 388, 172, 172, "T" ], [ 389, 213, 212, "T" ], [ 390, 64, 64, "T" ] ], "S6_nondecreasing_le1_sub": 8, "S6_nondecreasing_le1_sub_letters": "AACCSTTT", "S6_nondecreasing_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 149, 217, 216, "A" ], [ 150, 27, 27, "A" ], [ 151, 21, 21, "C" ], [ 152, 84, 84, "C" ], [ 153, 35, 35, "S" ], [ 154, 54, 54, "T" ], [ 155, 109, 109, "T" ], [ 156, 128, 128, "T" ] ], "S7_step01_le1_sub": 5, "S7_step01_le1_sub_letters": "STTTT", "S7_step01_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 153, 35, 35, "S" ], [ 154, 54, 54, "T" ], [ 155, 109, 109, "T" ], [ 156, 128, 128, "T" ], [ 157, 49, 50, "T" ] ] }, "B1/pamphlet_straight": { "S1_longest_nondecreasing_exact": 8, "S2_longest_step01_exact": 7, "n_nondecreasing_runs_ge5": 6, "n_nondecreasing_runs_ge8": 1, "n_step01_runs_ge5": 1, "S3_nondecreasing_le2_subs": 14, "S3_nondecreasing_le2_subs_letters": "EFGHIIJKLMMNOT", "S3_nondecreasing_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 306, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 462, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ], [ 205, 301, 301, "T" ] ], "S4_nondecreasing_unlimited_subs": 19, "S4_nondecreasing_unlimited_subs_letters": "ABBDEFGHIIJKLMMOPTT", "S4_nondecreasing_unlimited_subs_detail_(pos, printed_n, n_read, letter)": [ [ 188, 147, 147, "A" ], [ 189, 436, 437, "B" ], [ 190, 195, 194, "B" ], [ 191, 320, 321, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 139, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 306, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 462, "M" ], [ 203, 44, 43, "O" ], [ 204, 106, 105, "P" ], [ 205, 301, 301, "T" ], [ 206, 13, 14, "T" ] ], "S5_step01_le2_subs": 13, "S5_step01_le2_subs_letters": "EFGHIIJKLMMNO", "S5_step01_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 306, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ], [ 202, 461, 462, "M" ], [ 203, 44, 44, "N" ], [ 204, 106, 106, "O" ] ], "S6_nondecreasing_le1_sub": 10, "S6_nondecreasing_le1_sub_letters": "CDEFGHIIJP", "S6_nondecreasing_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 190, 195, 195, "C" ], [ 191, 320, 321, "D" ], [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 305, "P" ] ], "S7_step01_le1_sub": 10, "S7_step01_le1_sub_letters": "EFGHIIJKLM", "S7_step01_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 192, 37, 37, "E" ], [ 193, 122, 122, "F" ], [ 194, 113, 113, "G" ], [ 195, 6, 6, "H" ], [ 196, 140, 140, "I" ], [ 197, 8, 8, "I" ], [ 198, 120, 120, "J" ], [ 199, 305, 306, "K" ], [ 200, 42, 42, "L" ], [ 201, 58, 58, "M" ] ] }, "B3/pamphlet_straight": { "S1_longest_nondecreasing_exact": 7, "S2_longest_step01_exact": 4, "n_nondecreasing_runs_ge5": 10, "n_nondecreasing_runs_ge8": 0, "n_step01_runs_ge5": 0, "S3_nondecreasing_le2_subs": 9, "S3_nondecreasing_le2_subs_letters": "AAACCSTTT", "S3_nondecreasing_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 148, 23, 24, "A" ], [ 149, 217, 216, "A" ], [ 150, 27, 27, "A" ], [ 151, 21, 21, "C" ], [ 152, 84, 84, "C" ], [ 153, 35, 35, "S" ], [ 154, 54, 54, "T" ], [ 155, 109, 109, "T" ], [ 156, 128, 128, "T" ] ], "S4_nondecreasing_unlimited_subs": 13, "S4_nondecreasing_unlimited_subs_letters": "AAACCTTTTTTTW", "S4_nondecreasing_unlimited_subs_detail_(pos, printed_n, n_read, letter)": [ [ 148, 23, 24, "A" ], [ 149, 217, 216, "A" ], [ 150, 27, 27, "A" ], [ 151, 21, 21, "C" ], [ 152, 84, 84, "C" ], [ 153, 35, 34, "T" ], [ 154, 54, 54, "T" ], [ 155, 109, 108, "T" ], [ 156, 128, 128, "T" ], [ 157, 49, 50, "T" ], [ 158, 77, 76, "T" ], [ 159, 88, 87, "T" ], [ 160, 1, 1, "W" ] ], "S5_step01_le2_subs": 7, "S5_step01_le2_subs_letters": "TTTTTTT", "S5_step01_le2_subs_detail_(pos, printed_n, n_read, letter)": [ [ 384, 29, 29, "T" ], [ 385, 55, 55, "T" ], [ 386, 109, 109, "T" ], [ 387, 136, 137, "T" ], [ 388, 172, 172, "T" ], [ 389, 213, 212, "T" ], [ 390, 64, 64, "T" ] ], "S6_nondecreasing_le1_sub": 8, "S6_nondecreasing_le1_sub_letters": "AACCSTTT", "S6_nondecreasing_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 149, 217, 216, "A" ], [ 150, 27, 27, "A" ], [ 151, 21, 21, "C" ], [ 152, 84, 84, "C" ], [ 153, 35, 35, "S" ], [ 154, 54, 54, "T" ], [ 155, 109, 109, "T" ], [ 156, 128, 128, "T" ] ], "S7_step01_le1_sub": 5, "S7_step01_le1_sub_letters": "AAAAA", "S7_step01_le1_sub_detail_(pos, printed_n, n_read, letter)": [ [ 18, 98, 98, "A" ], [ 19, 114, 114, "A" ], [ 20, 246, 246, "A" ], [ 21, 348, 347, "A" ], [ 22, 116, 116, "A" ] ] } }, "null_i_iid_letters_exact": { "gillogly_table1": { "letter_frequencies": { "A": 0.1263, "B": 0.0363, "C": 0.0401, "D": 0.028, "E": 0.0272, "F": 0.0469, "G": 0.0144, "H": 0.0605, "I": 0.0522, "J": 0.0076, "K": 0.003, "L": 0.0257, "M": 0.0227, "N": 0.0144, "O": 0.1097, "P": 0.0446, "Q": 0.0008, "R": 0.031, "S": 0.0469, "T": 0.1929, "U": 0.0212, "V": 0.0015, "W": 0.0446, "X": 0.0008, "Y": 0.0008 }, "break_fraction_in_B1": 0.019230769230769232, "exact_P_nondecreasing_run_ge_L_n520": { "5": 0.9996279768257474, "8": 0.09683781374379388, "10": 0.004536171866291104, "12": 0.00018511468611801898, "14": 7.184001824495151e-06, "17": 5.270195703078561e-08, "20": 3.7926052485426825e-10 }, "exact_P_nondecreasing_run_ge_L_with_B1_breaks": { "5": 0.9992313102367039, "8": 0.08390505301062125, "10": 0.003755257951573649, "12": 0.00014733315452089815, "14": 5.499444600381383e-06, "17": 3.805912153249506e-08, "20": 2.583828045588455e-10 }, "exact_P_step01_run_ge_L_n520": { "5": 0.19362914223465993, "8": 0.001303056737554691, "10": 4.677416964058953e-05, "12": 1.711187079721781e-06, "14": 6.308664838470694e-08, "17": 4.488815687574183e-10, "20": 3.20007132377806e-12 }, "exact_P_step01_run_ge_L_with_B1_breaks": { "5": 0.17805558849524245, "8": 0.0011206719144202864, "10": 3.869410884800563e-05, "12": 1.3616921488872498e-06, "14": 4.828994807692253e-08, "17": 3.241557112533546e-10, "20": 2.1801310339606377e-12 }, "uniform26_P_step01_run_ge_L_n520": { "14": 1.1615553915138575e-12, "17": 4.852301145761003e-16, "20": 2.0129255375713866e-19 }, "uniform26_P_nondecreasing_run_ge_L_n520": { "14": 1.0641759377774001e-07, "17": 1.0282006965154247e-10, "20": 7.299102070287033e-14 }, "gillogly_arithmetic_495_over_13^13": 1.634337022838909e-12, "P_L_consecutive_iid_letters_nondecreasing": { "5": 0.019183483173942348, "8": 0.0002519521636599269, "10": 1.1158032556985788e-05, "12": 4.531924404089106e-07, "14": 1.7598645013103904e-08, "17": 1.2961371123653476e-10 }, "expected_number_of_nondecreasing_runs_ge_L_(approx)": { "5": 9.89867731775425, "8": 0.1292514599575425, "10": 0.005701754636619738, "12": 0.0002306749521681355, "14": 8.92251302164368e-06, "17": 6.532531046321352e-08 } }, "pamphlet_encoder_key": { "letter_frequencies": { "A": 0.1265, "B": 0.0366, "C": 0.0396, "D": 0.0282, "E": 0.0274, "F": 0.0465, "G": 0.0145, "H": 0.0595, "I": 0.0518, "J": 0.0076, "K": 0.003, "L": 0.0244, "M": 0.0221, "N": 0.0152, "O": 0.1098, "P": 0.0465, "Q": 0.0008, "R": 0.032, "S": 0.048, "T": 0.1913, "U": 0.0213, "V": 0.0015, "W": 0.0442, "X": 0.0008, "Y": 0.0008 }, "break_fraction_in_B1": 0.021153846153846155, "exact_P_nondecreasing_run_ge_L_n520": { "5": 0.9996150957165307, "8": 0.09558893196314622, "10": 0.004432730320897724, "12": 0.00017878945029424097, "14": 6.846357472786474e-06, "17": 4.9121840172132834e-08, "20": 3.4524028561071987e-10 }, "exact_P_nondecreasing_run_ge_L_with_B1_breaks": { "5": 0.999150474675984, "8": 0.08161587865919803, "10": 0.0036000064423558193, "12": 0.00013904625861744618, "14": 5.101053310814732e-06, "17": 3.432369265358583e-08, "20": 2.2624362381261605e-10 }, "exact_P_step01_run_ge_L_n520": { "5": 0.19090371344679338, "8": 0.0012470884346255013, "10": 4.395706577829182e-05, "12": 1.580371404142403e-06, "14": 5.72855465532201e-08, "17": 3.975531972025023e-10, "20": 2.7648424874633237e-12 }, "exact_P_step01_run_ge_L_with_B1_breaks": { "5": 0.17402493187759857, "8": 0.0010562454059133254, "10": 3.567111825072947e-05, "12": 1.2288153884535187e-06, "14": 4.267822303248286e-08, "17": 2.7778090077712055e-10, "20": 1.8118469445019254e-12 }, "uniform26_P_step01_run_ge_L_n520": { "14": 1.1615553915138575e-12, "17": 4.852301145761003e-16, "20": 2.0129255375713866e-19 }, "uniform26_P_nondecreasing_run_ge_L_n520": { "14": 1.0641759377774001e-07, "17": 1.0282006965154247e-10, "20": 7.299102070287033e-14 }, "gillogly_arithmetic_495_over_13^13": 1.634337022838909e-12, "P_L_consecutive_iid_letters_nondecreasing": { "5": 0.019088724985356485, "8": 0.00024823348611584896, "10": 1.0887388592066619e-05, "12": 4.370016120302804e-07, "14": 1.674236364947001e-08, "17": 1.2058464995882263e-10 }, "expected_number_of_nondecreasing_runs_ge_L_(approx)": { "5": 9.849782092443947, "8": 0.12734377837743052, "10": 0.005563455570546042, "12": 0.0002224338205234127, "14": 8.488378370281295e-06, "17": 6.077466357924661e-08 } } }, "null_i_iid_letters_mc": { "gillogly_table1": { "nondecreasing": { "histogram": { "4": 671, "5": 168902, "6": 493168, "7": 250551, "8": 67799, "9": 14993, "10": 3116, "11": 629, "12": 132, "13": 31, "14": 7, "15": 1 }, "N": 1000000, "P_ge": { "10": { "p": 0.003916, "se": 6.245530356983305e-05, "upper95_if_zero": null, "N": 1000000, "count": 3916 }, "12": { "p": 0.000171, "se": 1.3075578725241955e-05, "upper95_if_zero": null, "N": 1000000, "count": 171 }, "14": { "p": 8e-06, "se": 2.828415811015064e-06, "upper95_if_zero": null, "N": 1000000, "count": 8 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } } }, "step01": { "histogram": { "2": 380, "3": 302779, "4": 517163, "5": 145732, "6": 27827, "7": 4987, "8": 937, "9": 163, "10": 29, "11": 1, "12": 2 }, "N": 1000000, "P_ge": { "10": { "p": 3.2e-05, "se": 5.656763739100299e-06, "upper95_if_zero": null, "N": 1000000, "count": 32 }, "12": { "p": 2e-06, "se": 1.4142121481588256e-06, "upper95_if_zero": null, "N": 1000000, "count": 2 }, "14": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } } }, "seconds": 119.4 }, "pamphlet_encoder_key": { "nondecreasing": { "histogram": { "4": 746, "5": 174685, "6": 494859, "7": 245758, "8": 65941, "9": 14328, "10": 2976, "11": 585, "12": 103, "13": 15, "14": 3, "16": 1 }, "N": 1000000, "P_ge": { "10": { "p": 0.003683, "se": 6.057586574701182e-05, "upper95_if_zero": null, "N": 1000000, "count": 3683 }, "12": { "p": 0.000122, "se": 1.1044687229614065e-05, "upper95_if_zero": null, "N": 1000000, "count": 122 }, "14": { "p": 4e-06, "se": 1.999995999996e-06, "upper95_if_zero": null, "N": 1000000, "count": 4 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } } }, "step01": { "histogram": { "2": 401, "3": 308947, "4": 515183, "5": 142672, "6": 27042, "7": 4722, "8": 851, "9": 148, "10": 31, "11": 2, "12": 1 }, "N": 1000000, "P_ge": { "10": { "p": 3.4e-05, "se": 5.830852767820501e-06, "upper95_if_zero": null, "N": 1000000, "count": 34 }, "12": { "p": 1e-06, "se": 9.999994999998751e-07, "upper95_if_zero": null, "N": 1000000, "count": 1 }, "14": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } } }, "seconds": 115.2 } }, "null_ii_permutation_of_B1_numbers": { "gillogly_table1": { "key_length": 1322, "S1_longest_nondecreasing_exact": { "observed_B1": 14, "histogram": { "4": 784, "5": 180383, "6": 499401, "7": 240555, "8": 62256, "9": 13317, "10": 2683, "11": 511, "12": 89, "13": 17, "14": 4 }, "N": 1000000, "P_ge": { "10": { "p": 0.003304, "se": 5.738539521515906e-05, "upper95_if_zero": null, "N": 1000000, "count": 3304 }, "12": { "p": 0.00011, "se": 1.0487511620970915e-05, "upper95_if_zero": null, "N": 1000000, "count": 110 }, "14": { "p": 4e-06, "se": 1.999995999996e-06, "upper95_if_zero": null, "N": 1000000, "count": 4 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } }, "seconds": 45.9 }, "S2_longest_step01_exact": { "observed_B1": 14, "histogram": { "2": 239, "3": 295721, "4": 531434, "5": 142816, "6": 24973, "7": 4014, "8": 674, "9": 116, "10": 12, "12": 1 }, "N": 1000000, "P_ge": { "10": { "p": 1.3e-05, "se": 3.6055278393045307e-06, "upper95_if_zero": null, "N": 1000000, "count": 13 }, "12": { "p": 1e-06, "se": 9.999994999998751e-07, "upper95_if_zero": null, "N": 1000000, "count": 1 }, "14": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } }, "seconds": 46.6 }, "S3_nondecreasing_le2_subs": { "observed_B1": 20, "histogram": { "6": 2, "7": 5061, "8": 66126, "9": 81068, "10": 34573, "11": 9966, "12": 2499, "13": 534, "14": 136, "15": 27, "16": 5, "17": 2, "19": 1 }, "N": 200000, "P_ge": { "10": { "p": 0.238715, "se": 0.0009532317367120128, "upper95_if_zero": null, "N": 200000, "count": 47743 }, "12": { "p": 0.01602, "se": 0.0002807432955566348, "upper95_if_zero": null, "N": 200000, "count": 3204 }, "14": { "p": 0.000855, "se": 6.535552673645893e-05, "upper95_if_zero": null, "N": 200000, "count": 171 }, "17": { "p": 1.5e-05, "se": 8.660189085695532e-06, "upper95_if_zero": null, "N": 200000, "count": 3 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 88.8 }, "S4_nondecreasing_unlimited_subs": { "observed_B1": 22, "histogram": { "9": 17, "10": 1280, "11": 11841, "12": 32925, "13": 44066, "14": 39649, "15": 28594, "16": 17822, "17": 10502, "18": 6079, "19": 3235, "20": 1817, "21": 1010, "22": 553, "23": 286, "24": 153, "25": 81, "26": 35, "27": 22, "28": 15, "29": 8, "30": 6, "31": 1, "32": 2, "33": 1 }, "N": 200000, "P_ge": { "10": { "p": 0.999915, "se": 2.061465194952388e-05, "upper95_if_zero": null, "N": 200000, "count": 199983 }, "12": { "p": 0.93431, "se": 0.0005539622004252638, "upper95_if_zero": null, "N": 200000, "count": 186862 }, "14": { "p": 0.549355, "se": 0.0011125737817668543, "upper95_if_zero": null, "N": 200000, "count": 109871 }, "17": { "p": 0.11903, "se": 0.0007240920490517763, "upper95_if_zero": null, "N": 200000, "count": 23806 }, "20": { "p": 0.01995, "se": 0.00031266593594441973, "upper95_if_zero": null, "N": 200000, "count": 3990 }, "22": { "p": 0.005815, "se": 0.00017001743697338812, "upper95_if_zero": null, "N": 200000, "count": 1163 } }, "seconds": 46.9 }, "S5_step01_le2_subs": { "observed_B1": 20, "histogram": { "4": 240, "5": 41765, "6": 97869, "7": 44839, "8": 11999, "9": 2596, "10": 544, "11": 113, "12": 26, "13": 6, "14": 2, "16": 1 }, "N": 200000, "P_ge": { "10": { "p": 0.00346, "se": 0.00013130172123776594, "upper95_if_zero": null, "N": 200000, "count": 692 }, "12": { "p": 0.000175, "se": 2.95778105173456e-05, "upper95_if_zero": null, "N": 200000, "count": 35 }, "14": { "p": 1.5e-05, "se": 8.660189085695532e-06, "upper95_if_zero": null, "N": 200000, "count": 3 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 82.0 }, "S6_nondecreasing_le1_sub": { "observed_B1": 17, "histogram": { "5": 3, "6": 8037, "7": 80262, "8": 76123, "9": 26759, "10": 6851, "11": 1578, "12": 319, "13": 53, "14": 12, "15": 2, "16": 1 }, "N": 200000, "P_ge": { "10": { "p": 0.04408, "se": 0.0004590041045568111, "upper95_if_zero": null, "N": 200000, "count": 8816 }, "12": { "p": 0.001935, "se": 9.826636695736747e-05, "upper95_if_zero": null, "N": 200000, "count": 387 }, "14": { "p": 7.5e-05, "se": 1.93641905330432e-05, "upper95_if_zero": null, "N": 200000, "count": 15 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 56.8 }, "S7_step01_le1_sub": { "observed_B1": 17, "histogram": { "3": 28, "4": 37166, "5": 107573, "6": 43178, "7": 9765, "8": 1853, "9": 364, "10": 61, "11": 12 }, "N": 200000, "P_ge": { "10": { "p": 0.000365, "se": 4.271222161161837e-05, "upper95_if_zero": null, "N": 200000, "count": 73 }, "12": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "14": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 53.4 } }, "pamphlet_encoder_key": { "key_length": 1312, "S1_longest_nondecreasing_exact": { "observed_B1": 17, "histogram": { "4": 925, "5": 189056, "6": 499212, "7": 234639, "8": 60080, "9": 12906, "10": 2560, "11": 511, "12": 95, "13": 16 }, "N": 1000000, "P_ge": { "10": { "p": 0.003182, "se": 5.6319400529480066e-05, "upper95_if_zero": null, "N": 1000000, "count": 3182 }, "12": { "p": 0.000111, "se": 1.0535069007842331e-05, "upper95_if_zero": null, "N": 1000000, "count": 111 }, "14": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } }, "seconds": 48.2 }, "S2_longest_step01_exact": { "observed_B1": 17, "histogram": { "2": 320, "3": 312802, "4": 522558, "5": 136170, "6": 23512, "7": 3854, "8": 664, "9": 105, "10": 11, "11": 3, "12": 1 }, "N": 1000000, "P_ge": { "10": { "p": 1.5e-05, "se": 3.872954298723392e-06, "upper95_if_zero": null, "N": 1000000, "count": 15 }, "12": { "p": 1e-06, "se": 9.999994999998751e-07, "upper95_if_zero": null, "N": 1000000, "count": 1 }, "14": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } }, "seconds": 46.2 }, "S3_nondecreasing_le2_subs": { "observed_B1": 22, "histogram": { "6": 1, "7": 5808, "8": 68812, "9": 79897, "10": 33081, "11": 9361, "12": 2367, "13": 514, "14": 129, "15": 23, "16": 4, "17": 1, "18": 2 }, "N": 200000, "P_ge": { "10": { "p": 0.22741, "se": 0.0009372691499777426, "upper95_if_zero": null, "N": 200000, "count": 45482 }, "12": { "p": 0.0152, "se": 0.0002735777768752425, "upper95_if_zero": null, "N": 200000, "count": 3040 }, "14": { "p": 0.000795, "se": 6.302253466023086e-05, "upper95_if_zero": null, "N": 200000, "count": 159 }, "17": { "p": 1.5e-05, "se": 8.660189085695532e-06, "upper95_if_zero": null, "N": 200000, "count": 3 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "22": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 88.8 }, "S4_nondecreasing_unlimited_subs": { "observed_B1": 22, "histogram": { "9": 34, "10": 2065, "11": 15799, "12": 37718, "13": 45095, "14": 37976, "15": 26001, "16": 15664, "17": 8980, "18": 5021, "19": 2665, "20": 1359, "21": 739, "22": 419, "23": 214, "24": 122, "25": 60, "26": 33, "27": 18, "28": 9, "29": 3, "30": 1, "31": 3, "32": 1, "36": 1 }, "N": 200000, "P_ge": { "10": { "p": 0.99983, "se": 2.9152281214340972e-05, "upper95_if_zero": null, "N": 200000, "count": 199966 }, "12": { "p": 0.91051, "se": 0.0006382849673147565, "upper95_if_zero": null, "N": 200000, "count": 182102 }, "14": { "p": 0.496445, "se": 0.0011180057289097403, "upper95_if_zero": null, "N": 200000, "count": 99289 }, "17": { "p": 0.09824, "se": 0.0006655407665951049, "upper95_if_zero": null, "N": 200000, "count": 19648 }, "20": { "p": 0.01491, "se": 0.0002709953126900906, "upper95_if_zero": null, "N": 200000, "count": 2982 }, "22": { "p": 0.00442, "se": 0.00014833178351250282, "upper95_if_zero": null, "N": 200000, "count": 884 } }, "seconds": 47.2 }, "S5_step01_le2_subs": { "observed_B1": 21, "histogram": { "4": 329, "5": 44275, "6": 96947, "7": 43560, "8": 11609, "9": 2560, "10": 575, "11": 119, "12": 22, "13": 1, "14": 2, "15": 1 }, "N": 200000, "P_ge": { "10": { "p": 0.0036, "se": 0.00013392236557050507, "upper95_if_zero": null, "N": 200000, "count": 720 }, "12": { "p": 0.00013, "se": 2.549344033276011e-05, "upper95_if_zero": null, "N": 200000, "count": 26 }, "14": { "p": 1.5e-05, "se": 8.660189085695532e-06, "upper95_if_zero": null, "N": 200000, "count": 3 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "21": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 82.6 }, "S6_nondecreasing_le1_sub": { "observed_B1": 20, "histogram": { "5": 1, "6": 9093, "7": 82408, "8": 74326, "9": 25835, "10": 6503, "11": 1436, "12": 319, "13": 67, "14": 11, "15": 1 }, "N": 200000, "P_ge": { "10": { "p": 0.041685, "se": 0.00044691923641190475, "upper95_if_zero": null, "N": 200000, "count": 8337 }, "12": { "p": 0.00199, "se": 9.965038635148386e-05, "upper95_if_zero": null, "N": 200000, "count": 398 }, "14": { "p": 6e-05, "se": 1.7319988452652043e-05, "upper95_if_zero": null, "N": 200000, "count": 12 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 57.8 }, "S7_step01_le1_sub": { "observed_B1": 20, "histogram": { "3": 43, "4": 40087, "5": 106633, "6": 41629, "7": 9307, "8": 1850, "9": 371, "10": 68, "11": 10, "12": 2 }, "N": 200000, "P_ge": { "10": { "p": 0.0004, "se": 4.471241438347968e-05, "upper95_if_zero": null, "N": 200000, "count": 80 }, "12": { "p": 1e-05, "se": 7.0710324564380276e-06, "upper95_if_zero": null, "N": 200000, "count": 2 }, "14": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 54.3 } } }, "null_iii_uniform_numbers": { "gillogly_table1": { "key_length": 1322, "S1_longest_nondecreasing_exact": { "observed_B1": 14, "histogram": { "4": 360, "5": 142770, "6": 491297, "7": 269106, "8": 75031, "9": 16885, "10": 3604, "11": 766, "12": 149, "13": 25, "14": 7 }, "N": 1000000, "P_ge": { "10": { "p": 0.004551, "se": 6.730741711728358e-05, "upper95_if_zero": null, "N": 1000000, "count": 4551 }, "12": { "p": 0.000181, "se": 1.3452406438998191e-05, "upper95_if_zero": null, "N": 1000000, "count": 181 }, "14": { "p": 7e-06, "se": 2.6457420509187968e-06, "upper95_if_zero": null, "N": 1000000, "count": 7 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } }, "seconds": 31.8 }, "S2_longest_step01_exact": { "observed_B1": 14, "histogram": { "2": 256, "3": 279649, "4": 526189, "5": 156303, "6": 30667, "7": 5648, "8": 1045, "9": 202, "10": 34, "11": 7 }, "N": 1000000, "P_ge": { "10": { "p": 4.1e-05, "se": 6.402992972040497e-06, "upper95_if_zero": null, "N": 1000000, "count": 41 }, "12": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "14": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } }, "seconds": 28.0 }, "S3_nondecreasing_le2_subs": { "observed_B1": 20, "histogram": { "7": 3043, "8": 56559, "9": 83877, "10": 40052, "11": 12244, "12": 3206, "13": 747, "14": 195, "15": 58, "16": 15, "17": 4 }, "N": 200000, "P_ge": { "10": { "p": 0.282605, "se": 0.0010068252429667227, "upper95_if_zero": null, "N": 200000, "count": 56521 }, "12": { "p": 0.021125, "se": 0.000321548863899408, "upper95_if_zero": null, "N": 200000, "count": 4225 }, "14": { "p": 0.00136, "se": 8.240601919762901e-05, "upper95_if_zero": null, "N": 200000, "count": 272 }, "17": { "p": 2e-05, "se": 9.999899999499995e-06, "upper95_if_zero": null, "N": 200000, "count": 4 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 86.5 }, "S4_nondecreasing_unlimited_subs": { "observed_B1": 22, "histogram": { "9": 20, "10": 1802, "11": 16082, "12": 40334, "13": 48375, "14": 38750, "15": 25036, "16": 14089, "17": 7526, "18": 3989, "19": 1977, "20": 981, "21": 497, "22": 269, "23": 155, "24": 57, "25": 32, "26": 14, "27": 4, "28": 3, "29": 4, "30": 1, "31": 1, "32": 1, "35": 1 }, "N": 200000, "P_ge": { "10": { "p": 0.9999, "se": 2.235956171305567e-05, "upper95_if_zero": null, "N": 200000, "count": 199980 }, "12": { "p": 0.91048, "se": 0.000638381428301294, "upper95_if_zero": null, "N": 200000, "count": 182096 }, "14": { "p": 0.466935, "se": 0.0011155866299283976, "upper95_if_zero": null, "N": 200000, "count": 93387 }, "17": { "p": 0.07756, "se": 0.0005980988480176166, "upper95_if_zero": null, "N": 200000, "count": 15512 }, "20": { "p": 0.0101, "se": 0.0002235843241374493, "upper95_if_zero": null, "N": 200000, "count": 2020 }, "22": { "p": 0.00271, "se": 0.00011624663220928167, "upper95_if_zero": null, "N": 200000, "count": 542 } }, "seconds": 48.8 }, "S5_step01_le2_subs": { "observed_B1": 20, "histogram": { "4": 543, "5": 45642, "6": 92441, "7": 44282, "8": 12841, "9": 3217, "10": 789, "11": 200, "12": 34, "13": 9, "14": 1, "15": 1 }, "N": 200000, "P_ge": { "10": { "p": 0.00517, "se": 0.00016036319870843185, "upper95_if_zero": null, "N": 200000, "count": 1034 }, "12": { "p": 0.000225, "se": 3.353724608550917e-05, "upper95_if_zero": null, "N": 200000, "count": 45 }, "14": { "p": 1e-05, "se": 7.0710324564380276e-06, "upper95_if_zero": null, "N": 200000, "count": 2 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 80.3 }, "S6_nondecreasing_le1_sub": { "observed_B1": 17, "histogram": { "6": 5044, "7": 70477, "8": 81358, "9": 31889, "10": 8656, "11": 1987, "12": 478, "13": 83, "14": 23, "15": 3, "16": 2 }, "N": 200000, "P_ge": { "10": { "p": 0.05616, "se": 0.0005148109089753247, "upper95_if_zero": null, "N": 200000, "count": 11232 }, "12": { "p": 0.002945, "se": 0.00012116779636107939, "upper95_if_zero": null, "N": 200000, "count": 589 }, "14": { "p": 0.00014, "se": 2.6455661019902714e-05, "upper95_if_zero": null, "N": 200000, "count": 28 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 58.1 }, "S7_step01_le1_sub": { "observed_B1": 17, "histogram": { "3": 56, "4": 36602, "5": 103365, "6": 45480, "7": 11295, "8": 2506, "9": 547, "10": 118, "11": 27, "12": 4 }, "N": 200000, "P_ge": { "10": { "p": 0.000745, "se": 6.101003913291648e-05, "upper95_if_zero": null, "N": 200000, "count": 149 }, "12": { "p": 2e-05, "se": 9.999899999499995e-06, "upper95_if_zero": null, "N": 200000, "count": 4 }, "14": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 54.4 } }, "pamphlet_encoder_key": { "key_length": 1312, "S1_longest_nondecreasing_exact": { "observed_B1": 17, "histogram": { "4": 365, "5": 144805, "6": 490576, "7": 268557, "8": 74389, "9": 16791, "10": 3636, "11": 720, "12": 128, "13": 26, "14": 4, "15": 3 }, "N": 1000000, "P_ge": { "10": { "p": 0.004517, "se": 6.70566679085682e-05, "upper95_if_zero": null, "N": 1000000, "count": 4517 }, "12": { "p": 0.000161, "se": 1.2687556068841629e-05, "upper95_if_zero": null, "N": 1000000, "count": 161 }, "14": { "p": 7e-06, "se": 2.6457420509187968e-06, "upper95_if_zero": null, "N": 1000000, "count": 7 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } }, "seconds": 31.0 }, "S2_longest_step01_exact": { "observed_B1": 17, "histogram": { "2": 255, "3": 282200, "4": 526829, "5": 154186, "6": 29721, "7": 5577, "8": 985, "9": 204, "10": 39, "11": 4 }, "N": 1000000, "P_ge": { "10": { "p": 4.3e-05, "se": 6.557297537858108e-06, "upper95_if_zero": null, "N": 1000000, "count": 43 }, "12": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "14": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 3e-06, "N": 1000000, "count": 0 } }, "seconds": 27.4 }, "S3_nondecreasing_le2_subs": { "observed_B1": 22, "histogram": { "7": 3188, "8": 57986, "9": 83498, "10": 39313, "11": 11854, "12": 3132, "13": 770, "14": 205, "15": 45, "16": 9 }, "N": 200000, "P_ge": { "10": { "p": 0.27664, "se": 0.001000275737984282, "upper95_if_zero": null, "N": 200000, "count": 55328 }, "12": { "p": 0.020805, "se": 0.00031915632513707136, "upper95_if_zero": null, "N": 200000, "count": 4161 }, "14": { "p": 0.001295, "se": 8.041526518640599e-05, "upper95_if_zero": null, "N": 200000, "count": 259 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "22": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 86.1 }, "S4_nondecreasing_unlimited_subs": { "observed_B1": 22, "histogram": { "9": 29, "10": 2109, "11": 17488, "12": 41620, "13": 48869, "14": 37969, "15": 24046, "16": 13581, "17": 7072, "18": 3508, "19": 1839, "20": 1000, "21": 435, "22": 211, "23": 108, "24": 57, "25": 32, "26": 15, "27": 5, "28": 2, "29": 1, "30": 3, "31": 1 }, "N": 200000, "P_ge": { "10": { "p": 0.999855, "se": 2.6923871842655798e-05, "upper95_if_zero": null, "N": 200000, "count": 199971 }, "12": { "p": 0.90187, "se": 0.0006652086255454, "upper95_if_zero": null, "N": 200000, "count": 180374 }, "14": { "p": 0.449425, "se": 0.0011122998008068687, "upper95_if_zero": null, "N": 200000, "count": 89885 }, "17": { "p": 0.071445, "se": 0.0005759366804389176, "upper95_if_zero": null, "N": 200000, "count": 14289 }, "20": { "p": 0.00935, "se": 0.00021520429247577755, "upper95_if_zero": null, "N": 200000, "count": 1870 }, "22": { "p": 0.002175, "se": 0.00010416979828625952, "upper95_if_zero": null, "N": 200000, "count": 435 } }, "seconds": 47.7 }, "S5_step01_le2_subs": { "observed_B1": 21, "histogram": { "4": 591, "5": 47518, "6": 92914, "7": 42731, "8": 12242, "9": 3036, "10": 751, "11": 173, "12": 35, "13": 5, "14": 4 }, "N": 200000, "P_ge": { "10": { "p": 0.00484, "se": 0.00015518657158401303, "upper95_if_zero": null, "N": 200000, "count": 968 }, "12": { "p": 0.00022, "se": 3.3162599415606735e-05, "upper95_if_zero": null, "N": 200000, "count": 44 }, "14": { "p": 2e-05, "se": 9.999899999499995e-06, "upper95_if_zero": null, "N": 200000, "count": 4 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "21": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 82.0 }, "S6_nondecreasing_le1_sub": { "observed_B1": 20, "histogram": { "6": 5354, "7": 71647, "8": 80566, "9": 31551, "10": 8391, "11": 1961, "12": 429, "13": 76, "14": 21, "15": 3, "16": 1 }, "N": 200000, "P_ge": { "10": { "p": 0.05441, "se": 0.0005071959774091274, "upper95_if_zero": null, "N": 200000, "count": 10882 }, "12": { "p": 0.00265, "se": 0.00011495602420056115, "upper95_if_zero": null, "N": 200000, "count": 530 }, "14": { "p": 0.000125, "se": 2.4998437451168822e-05, "upper95_if_zero": null, "N": 200000, "count": 25 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 58.5 }, "S7_step01_le1_sub": { "observed_B1": 20, "histogram": { "3": 45, "4": 37891, "5": 103326, "6": 44703, "7": 11006, "8": 2407, "9": 500, "10": 95, "11": 18, "12": 7, "13": 2 }, "N": 200000, "P_ge": { "10": { "p": 0.00061, "se": 5.520995834086456e-05, "upper95_if_zero": null, "N": 200000, "count": 122 }, "12": { "p": 4.5e-05, "se": 1.499966249620304e-05, "upper95_if_zero": null, "N": 200000, "count": 9 }, "14": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "17": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 }, "20": { "p": 0.0, "se": 0.0, "upper95_if_zero": 1.5e-05, "N": 200000, "count": 0 } }, "seconds": 53.4 } } }, "lazy_hoaxer_ranks": { "gillogly_table1": { "rows": [ { "pos": 188, "n": 147, "letter": "A", "word": "alter", "rank_among_homophones": 17, "homophones": 167, "first_number_with_this_initial": 24 }, { "pos": 189, "n": 436, "letter": "B", "word": "bodies", "rank_among_homophones": 13, "homophones": 48, "first_number_with_this_initial": 9 }, { "pos": 190, "n": 195, "letter": "F", "word": "for", "rank_among_homophones": 6, "homophones": 62, "first_number_with_this_initial": 11 }, { "pos": 191, "n": 320, "letter": "D", "word": "direct", "rank_among_homophones": 11, "homophones": 37, "first_number_with_this_initial": 15 }, { "pos": 192, "n": 37, "letter": "E", "word": "equal", "rank_among_homophones": 3, "homophones": 36, "first_number_with_this_initial": 7 }, { "pos": 193, "n": 122, "letter": "F", "word": "from", "rank_among_homophones": 2, "homophones": 62, "first_number_with_this_initial": 11 }, { "pos": 194, "n": 113, "letter": "G", "word": "governments", "rank_among_homophones": 2, "homophones": 19, "first_number_with_this_initial": 48 }, { "pos": 195, "n": 6, "letter": "H", "word": "human", "rank_among_homophones": 1, "homophones": 80, "first_number_with_this_initial": 6 }, { "pos": 196, "n": 140, "letter": "I", "word": "is", "rank_among_homophones": 6, "homophones": 69, "first_number_with_this_initial": 2 }, { "pos": 197, "n": 8, "letter": "I", "word": "it", "rank_among_homophones": 2, "homophones": 69, "first_number_with_this_initial": 2 }, { "pos": 198, "n": 120, "letter": "J", "word": "just", "rank_among_homophones": 1, "homophones": 10, "first_number_with_this_initial": 120 }, { "pos": 199, "n": 305, "letter": "K", "word": "king", "rank_among_homophones": 1, "homophones": 4, "first_number_with_this_initial": 305 }, { "pos": 200, "n": 42, "letter": "L", "word": "laws", "rank_among_homophones": 1, "homophones": 34, "first_number_with_this_initial": 42 }, { "pos": 201, "n": 58, "letter": "M", "word": "mankind", "rank_among_homophones": 1, "homophones": 30, "first_number_with_this_initial": 58 }, { "pos": 202, "n": 461, "letter": "M", "word": "measures", "rank_among_homophones": 8, "homophones": 30, "first_number_with_this_initial": 58 }, { "pos": 203, "n": 44, "letter": "N", "word": "nature", "rank_among_homophones": 2, "homophones": 19, "first_number_with_this_initial": 10 }, { "pos": 204, "n": 106, "letter": "O", "word": "of", "rank_among_homophones": 8, "homophones": 145, "first_number_with_this_initial": 5 }, { "pos": 205, "n": 301, "letter": "H", "word": "history", "rank_among_homophones": 8, "homophones": 80, "first_number_with_this_initial": 6 }, { "pos": 206, "n": 13, "letter": "P", "word": "people", "rank_among_homophones": 1, "homophones": 59, "first_number_with_this_initial": 13 }, { "pos": 207, "n": 408, "letter": "P", "word": "people", "rank_among_homophones": 19, "homophones": 59, "first_number_with_this_initial": 13 } ], "rank1_count": 6, "rank_le3_count": 11, "mean_normalised_rank": 0.10074125566855392, "expected_rank1_if_uniform_over_homophones": 0.7600061799289093, "P_at_least_this_many_rank1_if_uniform_over_homophones": 2.5823279147002276e-05, "whole_B1_in_range": 510, "whole_B1_rank1_count": 47, "whole_B1_share_rank1": 0.09215686274509804, "whole_B1_mean_normalised_rank": 0.1847808403902202, "P_at_least_this_many_rank1_if_20_random_B1_numbers_(hypergeometric)": 0.006375064664076633, "P_mean_normalised_rank_le_observed_if_20_random_B1_numbers": 0.02081 }, "pamphlet_encoder_key": { "rows": [ { "pos": 188, "n": 147, "letter": "A", "word": "alter", "rank_among_homophones": 17, "homophones": 166, "first_number_with_this_initial": 24 }, { "pos": 189, "n": 436, "letter": "B", "word": "bodies", "rank_among_homophones": 13, "homophones": 48, "first_number_with_this_initial": 9 }, { "pos": 190, "n": 195, "letter": "C", "word": "changed", "rank_among_homophones": 8, "homophones": 52, "first_number_with_this_initial": 4 }, { "pos": 191, "n": 320, "letter": "D", "word": "direct", "rank_among_homophones": 12, "homophones": 37, "first_number_with_this_initial": 15 }, { "pos": 192, "n": 37, "letter": "E", "word": "equal", "rank_among_homophones": 3, "homophones": 36, "first_number_with_this_initial": 7 }, { "pos": 193, "n": 122, "letter": "F", "word": "from", "rank_among_homophones": 2, "homophones": 61, "first_number_with_this_initial": 11 }, { "pos": 194, "n": 113, "letter": "G", "word": "governments", "rank_among_homophones": 2, "homophones": 19, "first_number_with_this_initial": 48 }, { "pos": 195, "n": 6, "letter": "H", "word": "human", "rank_among_homophones": 1, "homophones": 78, "first_number_with_this_initial": 6 }, { "pos": 196, "n": 140, "letter": "I", "word": "is", "rank_among_homophones": 6, "homophones": 68, "first_number_with_this_initial": 2 }, { "pos": 197, "n": 8, "letter": "I", "word": "it", "rank_among_homophones": 2, "homophones": 68, "first_number_with_this_initial": 2 }, { "pos": 198, "n": 120, "letter": "J", "word": "just", "rank_among_homophones": 1, "homophones": 10, "first_number_with_this_initial": 120 }, { "pos": 199, "n": 305, "letter": "K", "word": "king", "rank_among_homophones": 1, "homophones": 4, "first_number_with_this_initial": 305 }, { "pos": 200, "n": 42, "letter": "L", "word": "laws", "rank_among_homophones": 1, "homophones": 32, "first_number_with_this_initial": 42 }, { "pos": 201, "n": 58, "letter": "M", "word": "mankind", "rank_among_homophones": 1, "homophones": 29, "first_number_with_this_initial": 58 }, { "pos": 202, "n": 461, "letter": "M", "word": "measures", "rank_among_homophones": 7, "homophones": 29, "first_number_with_this_initial": 58 }, { "pos": 203, "n": 44, "letter": "N", "word": "nature", "rank_among_homophones": 2, "homophones": 20, "first_number_with_this_initial": 10 }, { "pos": 204, "n": 106, "letter": "O", "word": "of", "rank_among_homophones": 8, "homophones": 144, "first_number_with_this_initial": 5 }, { "pos": 205, "n": 301, "letter": "H", "word": "history", "rank_among_homophones": 8, "homophones": 78, "first_number_with_this_initial": 6 }, { "pos": 206, "n": 13, "letter": "P", "word": "people", "rank_among_homophones": 1, "homophones": 61, "first_number_with_this_initial": 13 }, { "pos": 207, "n": 408, "letter": "P", "word": "people", "rank_among_homophones": 19, "homophones": 61, "first_number_with_this_initial": 13 } ], "rank1_count": 6, "rank_le3_count": 11, "mean_normalised_rank": 0.10319530732092666, "expected_rank1_if_uniform_over_homophones": 0.7649176626034021, "P_at_least_this_many_rank1_if_uniform_over_homophones": 2.7368444918470982e-05, "whole_B1_in_range": 509, "whole_B1_rank1_count": 46, "whole_B1_share_rank1": 0.09037328094302555, "whole_B1_mean_normalised_rank": 0.18623215583974165, "P_at_least_this_many_rank1_if_20_random_B1_numbers_(hypergeometric)": 0.005759668464251081, "P_mean_normalised_rank_le_observed_if_20_random_B1_numbers": 0.02288 } }, "b2_encoder_reference": { "mean_normalised_rank": 0.123, "share_rank1": 0.169, "share_n_le_100": 0.535 }, "B1_share_numbers_le_100": 0.43653846153846154, "B1_share_numbers_le_250": 0.6807692307692308 }