(* id, C verification time in ms *)
let ineq_ids =
[
"GRKIBMP split(1/2)",0;
"GRKIBMP split(0/2)",0;
"HJKDESR1a",0;
"ZTGIJCF0",0;
"TSKAJXY-delta_x4",0;
"OXLZLEZ 6346351218 0 0",0;
"OXLZLEZ 6346351218 0 1",0;
"OXLZLEZ 6346351218 0 2",0;
"OXLZLEZ 6346351218 0 3",0;
"OXLZLEZ 6346351218 0 4",0;
"OXLZLEZ 6346351218 0 5",0;
"OXLZLEZ 6346351218 0 6",0;
"OXLZLEZ 6346351218 0 7",0;
"OXLZLEZ 6346351218 0 8",0;
"OXLZLEZ 6346351218 0 9",0;
"OXLZLEZ 6346351218 0 10",0;
"OXLZLEZ 6346351218 0 11",0;
"OXLZLEZ 6346351218 0 12",0;
"OXLZLEZ 6346351218 0 13",0;
"OXLZLEZ 6346351218 0 14",0;
"OXLZLEZ 6346351218 0 15",0;
"OXLZLEZ 6346351218 0 16",0;
"OXLZLEZ 6346351218 0 17",0;
"OXLZLEZ 6346351218 0 18",0;
"OXLZLEZ 6346351218 0 19",0;
"OXLZLEZ 6346351218 0 20",0;
"OXLZLEZ 6346351218 0 21",0;
"OXLZLEZ 6346351218 0 22",0;
"OXLZLEZ 6346351218 0 23",0;
"OXLZLEZ 6346351218 0 24",0;
"OXLZLEZ 6346351218 0 25",0;
"OXLZLEZ 6346351218 0 26",0;
"OXLZLEZ 6346351218 0 27",0;
"OXLZLEZ 6346351218 0 28",0;
"OXLZLEZ 6346351218 0 29",0;
"OXLZLEZ 6346351218 0 30",0;
"OXLZLEZ 6346351218 0 31",0;
"OXLZLEZ 6346351218 0 32",0;
"OXLZLEZ 6346351218 0 33",0;
"OXLZLEZ 6346351218 0 34",0;
"OXLZLEZ 6346351218 0 35",0;
"OXLZLEZ 6346351218 0 36",0;
"OXLZLEZ 6346351218 0 37",0;
"OXLZLEZ 6346351218 0 38",0;
"OXLZLEZ 6346351218 0 39",0;
"OXLZLEZ 6346351218 0 40",0;
"OXLZLEZ 6346351218 0 41",0;
"OXLZLEZ 6346351218 0 42",0;
"OXLZLEZ 6346351218 0 43",0;
"OXLZLEZ 6346351218 0 44",0;
"OXLZLEZ 6346351218 0 45",0;
"1965189142 34",0;
"6096597438 a",0;
"4717061266",0;
"1117202051",0;
"4559601669",0;
"4559601669b",0;
"2485876245a",0;
"JNTEFVP 1",1;
"TSKAJXY-eulerA",1;
"5512912661",2;
"6843920790",2;
"BIXPCGW b",2;
"4828966562",3;
"TSKAJXY-RIBCYXU sharp",3;
"8055810915",3;
"6459846571",3;
"ZTGIJCF4 1 1 1 1 1821661595 split(16/32)",4;
"QITNPEA4 1 1 1 1 3803737830 split(16/32)",4;
"ZTGIJCF4 1 1 1 1 1821661595 split(0/32)",5;
"QITNPEA4 1 1 1 1 3803737830 split(0/32)",5;
"SDCCMGA a",5;
"2485876245b",5;
"SDCCMGA b",6;
"QITNPEA4 1 1 1 1 3803737830 split(1/32)",8;
"ZTGIJCF4 1 1 1 1 1821661595 split(8/32)",8;
"ZTGIJCF4 1 1 1 1 1821661595 split(4/32)",8;
"ZTGIJCF4 1 1 1 1 1821661595 split(1/32)",9;
"TSKAJXY-GXSABWC DIV",9;
"QITNPEA 4003532128 a",10;
"ZTGIJCF4 1 1 1 1 1821661595 split(24/32)",10;
"ZTGIJCF4 1 1 1 1 1821661595 split(17/32)",10;
"QITNPEA4 1 1 1 1 3803737830 split(8/32)",10;
"QITNPEA4 1 1 1 1 3803737830 split(4/32)",10;
"8520556953",11;
"ZTGIJCF4 1 1 1 1 1821661595 split(18/32)",11;
"6096597438 b",11;
"7459553847",12;
"ZTGIJCF4 1 1 1 1 1821661595 split(20/32)",12;
"QITNPEA4 1 1 1 1 3803737830 split(20/32)",12;
"7459553847",13;
"4528012043",13;
"ZTGIJCF4 1 1 1 1 1821661595 split(2/32)",13;
"QITNPEA4 1 1 1 1 3803737830 split(17/32)",13;
"4528012043",14;
"QITNPEA4 1 1 1 1 3803737830 split(24/32)",14;
"QITNPEA4 1 1 1 1 3803737830 split(18/32)",14;
"QITNPEA4 1 1 1 1 3803737830 split(2/32)",14;
"BIXPCGW 7274157868 split(63/64)",20;
"ZTGIJCF4 1 1 1 1 1821661595 split(12/32)",20;
"9816718044",21;
"ZTGIJCF4 1 1 0 1 1821661595 split(0/16)",21;
"ZTGIJCF4 1 1 1 1 1821661595 split(5/32)",21;
"9816718044",22;
"BIXPCGW 7274157868 split(31/64)",22;
"QITNPEA4 1 1 1 1 3803737830 split(12/32)",22;
"QITNPEA4 1 1 1 1 3803737830 split(5/32)",22;
"ZTGIJCF4 1 1 1 1 1821661595 split(28/32)",23;
"ZTGIJCF4 1 1 1 1 1821661595 split(6/32)",23;
"QITNPEA4 1 1 1 1 3803737830 split(10/32)",24;
"QITNPEA4 1 1 1 1 3803737830 split(3/32)",24;
"4143829594",25;
"ZTGIJCF4 1 1 1 1 1821661595 split(10/32)",25;
"ZTGIJCF4 1 1 1 1 1821661595 split(3/32)",25;
"QITNPEA 3725403817",25;
"4143829594",26;
"ZTGIJCF4 0 1 1 1 1821661595 split(0/16)",26;
"ZTGIJCF4 1 1 0 1 1821661595 split(8/16)",26;
"ZTGIJCF4 1 1 1 0 1821661595 split(0/16)",26;
"7697147739 delta issue",27;
"ZTGIJCF4 1 1 1 1 1821661595 split(22/32)",27;
"QITNPEA4 1 1 1 1 3803737830 split(6/32)",27;
"2200527225",28;
"3106201101",28;
"ZTGIJCF4 1 1 1 1 1821661595 split(21/32)",28;
"3106201101",29;
"2200527225",29;
"ZTGIJCF4 1 1 1 1 1821661595 split(26/32)",29;
"ZTGIJCF4 1 1 1 1 1821661595 split(19/32)",29;
"QITNPEA4 1 1 0 1 3803737830 split(0/16)",29;
"QITNPEA4 1 1 1 1 3803737830 split(22/32)",29;
"QITNPEA4 1 1 1 1 3803737830 split(21/32)",31;
"QITNPEA4 1 1 1 1 3803737830 split(26/32)",32;
"QITNPEA4 1 1 1 1 3803737830 split(19/32)",32;
"QITNPEA4 1 1 1 1 3803737830 split(28/32)",33;
"ZTGIJCF4 0 1 1 1 1821661595 split(8/16)",34;
"ZTGIJCF4 1 1 1 0 1821661595 split(8/16)",35;
"QITNPEA4 0 1 1 1 3803737830 split(0/16)",35;
"QITNPEA4 1 0 1 1 3803737830 split(0/16)",35;
"QITNPEA4 1 1 1 0 3803737830 split(0/16)",36;
"9977174768",37;
"QITNPEA4 0 1 1 1 3803737830 split(8/16)",37;
"QITNPEA4 1 1 0 1 3803737830 split(8/16)",37;
"QITNPEA4 1 1 1 1 3803737830 split(9/32)",37;
"2559885109",38;
"9977174768",38;
"ZTGIJCF4 1 1 1 1 1821661595 split(9/32)",38;
"ZTGIJCF4 1 0 1 1 1821661595 split(0/16)",39;
"8673686234 a",40;
"BIXPCGW 7274157868 split(29/64)",44;
"BIXPCGW 7274157868 split(15/64)",45;
"ZTGIJCF4 1 1 1 1 1821661595 split(25/32)",45;
"QITNPEA4 1 1 1 0 3803737830 split(8/16)",46;
"2900061606",47;
"QITNPEA4 1 0 1 1 3803737830 split(8/16)",47;
"QITNPEA4 1 1 1 1 3803737830 split(25/32)",47;
"BIXPCGW 7274157868 split(23/64)",49;
"7097350062a",50;
"ZTGIJCF4 1 0 1 1 1821661595 split(8/16)",50;
"7097350062a",51;
"BIXPCGW 7274157868 split(27/64)",52;
"BIXPCGW 7274157868 split(30/64)",53;
"1080462150",55;
"ZTGIJCF4 1 1 1 1 1821661595 split(14/32)",57;
"QITNPEA4 1 1 1 1 3803737830 split(14/32)",58;
"ZTGIJCF4 1 1 1 1 1821661595 split(7/32)",58;
"ZTGIJCF4 1 1 0 1 1821661595 split(2/16)",60;
"2570626711",60;
"QITNPEA4 1 1 1 1 3803737830 split(7/32)",61;
"BIXPCGW 7274157868 split(59/64)",64;
"ZTGIJCF4 1 1 1 1 1821661595 split(23/32)",64;
"BIXPCGW 7274157868 split(47/64)",66;
"ZTGIJCF4 0 1 1 1 1821661595 split(2/16)",68;
"7067938795",70;
"ZTGIJCF4 0 1 1 1 1821661595 split(1/16)",71;
"QZECFIC wt2 split(0/4)",73;
"ZTGIJCF4 1 1 1 0 1821661595 split(1/16)",74;
"ZTGIJCF4 1 1 1 1 1821661595 split(13/32)",74;
"OMKYNLT 0 3",74;
"QITNPEA4 1 1 1 1 3803737830 split(23/32)",75;
"ZTGIJCF4 1 1 0 1 1821661595 split(1/16)",76;
"ZTGIJCF4 1 1 0 1 1821661595 split(4/16)",77;
"BIXPCGW 7274157868 split(14/64)",78;
"GLFVCVK4 2477216213 split(31/64)",79;
"BIXPCGW 7274157868 split(21/64)",79;
"ZTGIJCF4 0 1 1 1 1821661595 split(4/16)",79;
"ZTGIJCF4 1 1 1 0 1821661595 split(2/16)",79;
"ZTGIJCF4 1 1 1 0 1821661595 split(4/16)",80;
"QITNPEA4 1 1 0 1 3803737830 split(4/16)",81;
"QITNPEA4 1 1 0 1 3803737830 split(2/16)",82;
"QITNPEA4 1 1 1 1 3803737830 split(13/32)",82;
"BIXPCGW 7274157868 split(62/64)",83;
"QITNPEA4 1 1 0 1 3803737830 split(1/16)",83;
"ZTGIJCF4 1 1 1 1 1821661595 split(30/32)",84;
"1965189142 a",85;
"QITNPEA4 1 1 1 1 3803737830 split(11/32)",86;
"7645170609",86;
"ZTGIJCF4 0 1 1 1 1821661595 split(9/16)",86;
"QITNPEA4 1 1 1 0 3803737830 split(1/16)",86;
"ZTGIJCF4 0 1 1 1 1821661595 split(10/16)",87;
"ZTGIJCF4 1 1 1 1 1821661595 split(11/32)",87;
"QITNPEA4 1 0 1 1 3803737830 split(2/16)",87;
"OMKYNLT 3336871894",87;
"QITNPEA4 0 1 1 1 3803737830 split(2/16)",88;
"QITNPEA4 1 1 1 1 3803737830 split(30/32)",88;
"7645170609",90;
"OMKYNLT 2 1",90;
"BIXPCGW 7274157868 split(55/64)",90;
"QITNPEA4 1 1 1 0 3803737830 split(4/16)",90;
"QITNPEA4 0 1 1 1 3803737830 split(1/16)",91;
"ZTGIJCF4 1 1 1 1 1821661595 split(27/32)",92;
"ZTGIJCF4 1 1 1 1 1821661595 split(29/32)",93;
"ZTGIJCF4 1 1 0 1 1821661595 split(12/16)",94;
"ZTGIJCF4 1 1 0 1 1821661595 split(9/16)",94;
"ZTGIJCF4 1 0 1 1 1821661595 split(2/16)",95;
"ZTGIJCF4 1 1 1 0 1821661595 split(9/16)",96;
"ZTGIJCF4 1 1 1 0 1821661595 split(12/16)",98;
"QITNPEA4 1 1 1 1 3803737830 split(27/32)",98;
"QITNPEA4 1 1 1 0 3803737830 split(2/16)",99;
"QITNPEA4 0 1 1 1 3803737830 split(4/16)",100;
"GLFVCVK4 2477216213 split(63/64)",101;
"QITNPEA4 1 1 1 1 3803737830 split(29/32)",103;
"QITNPEA4 1 0 1 1 3803737830 split(1/16)",104;
"BIXPCGW 7274157868 split(7/64)",105;
"TSKAJXY-IYOUOBF sharp v2",108;
"QITNPEA4 1 1 0 1 3803737830 split(12/16)",109;
"QITNPEA4 1 1 0 1 3803737830 split(9/16)",109;
"BIXPCGW 7274157868 split(61/64)",110;
"QITNPEA4 0 1 1 1 3803737830 split(9/16)",110;
"BIXPCGW 7274157868 split(28/64)",111;
"QITNPEA4 0 1 1 1 3803737830 split(10/16)",112;
"QITNPEA4 1 0 1 1 3803737830 split(10/16)",112;
"QITNPEA4 1 0 1 1 3803737830 split(4/16)",115;
"QITNPEA4 1 1 1 0 3803737830 split(12/16)",120;
"ZTGIJCF4 1 1 0 1 1821661595 split(10/16)",122;
"QITNPEA4 1 1 1 0 3803737830 split(9/16)",122;
"5026777310",125;
"ZTGIJCF4 1 0 1 1 1821661595 split(10/16)",126;
"9459075374",126;
"ZTGIJCF4 1 0 1 1 1821661595 split(1/16)",127;
"9459075374",128;
"ZTGIJCF4 1 0 1 1 1821661595 split(4/16)",128;
"QITNPEA4 1 0 1 1 3803737830 split(9/16)",136;
"ZTGIJCF4 1 0 1 1 1821661595 split(9/16)",147;
"ZTGIJCF4 0 1 1 1 1821661595 split(12/16)",147;
"QITNPEA4 1 0 1 1 3803737830 split(12/16)",150;
"ZTGIJCF4 1 1 1 0 1821661595 split(10/16)",155;
"BIXPCGW 7274157868 split(13/64)",156;
"BIXPCGW 7274157868 split(46/64)",158;
"BIXPCGW 7274157868 split(43/64)",160;
"QITNPEA4 1 1 0 1 3803737830 split(10/16)",161;
"OMKYNLT 1 2",161;
"BIXPCGW 7274157868 split(53/64)",162;
"ZTGIJCF4 1 0 1 1 1821661595 split(12/16)",162;
"BIXPCGW 7274157868 split(22/64)",163;
"BIXPCGW 7274157868 split(11/64)",170;
"BIXPCGW 7274157868 split(58/64)",173;
"ZTGIJCF4 1 1 1 1 1821661595 split(15/32)",179;
"BIXPCGW 7274157868 split(19/64)",181;
"4680581274 delta issue",184;
"BIXPCGW 7274157868 split(26/64)",184;
"7881254908",186;
"BIXPCGW 7274157868 split(51/64)",188;
"QITNPEA4 1 1 1 1 3803737830 split(15/32)",188;
"QITNPEA4 0 1 1 1 3803737830 split(12/16)",198;
"ZTGIJCF4 1 1 0 1 1821661595 split(3/16)",200;
"QITNPEA4 1 1 1 0 3803737830 split(10/16)",201;
"ZTGIJCF4 1 1 1 0 1821661595 split(6/16)",206;
"ZTGIJCF4 1 1 1 1 1821661595 split(31/32)",214;
"7881254908",217;
"ZTGIJCF4 0 1 1 1 1821661595 split(6/16)",222;
"ZTGIJCF4 0 1 1 1 1821661595 split(5/16)",223;
"ZTGIJCF4 0 1 1 0 1821661595 split(0/8)",225;
"BIXPCGW 7274157868 split(39/64)",227;
"ZTGIJCF4 1 1 0 1 1821661595 split(6/16)",228;
"BIXPCGW 7274157868 split(45/64)",230;
"ZTGIJCF4 0 1 0 1 1821661595 split(0/8)",231;
"QITNPEA4 1 1 0 1 3803737830 split(3/16)",233;
"GLFVCVK4 2477216213 split(15/64)",235;
"ZTGIJCF4 0 1 1 1 1821661595 split(3/16)",235;
"QITNPEA4 1 1 0 1 3803737830 split(6/16)",236;
"BIXPCGW 7274157868 split(54/64)",237;
"GLFVCVK4 2477216213 split(23/64)",238;
"ZTGIJCF4 1 1 0 0 1821661595 split(0/8)",244;
"ZTGIJCF4 1 1 1 0 1821661595 split(5/16)",244;
"ZTGIJCF4 1 1 1 0 1821661595 split(3/16)",244;
"GLFVCVK4 2477216213 split(30/64)",245;
"QITNPEA4 1 1 1 1 3803737830 split(31/32)",247;
"BIXPCGW 7274157868 split(25/64)",248;
"BIXPCGW 7274157868 split(57/64)",250;
"BIXPCGW 7274157868 split(3/64)",253;
"QITNPEA4 1 1 1 0 3803737830 split(5/16)",254;
"QITNPEA4 0 1 1 1 3803737830 split(3/16)",256;
"QITNPEA4 1 1 1 0 3803737830 split(3/16)",257;
"BIXPCGW 7274157868 split(6/64)",260;
"ZTGIJCF4 0 1 1 1 1821661595 split(11/16)",267;
"QITNPEA4 1 1 1 0 3803737830 split(6/16)",267;
"QITNPEA4 1 0 1 1 3803737830 split(3/16)",272;
"QITNPEA4 0 0 1 1 3803737830 split(0/8)",273;
"BIXPCGW 7274157868 split(24/64)",275;
"GLFVCVK4 2477216213 split(29/64)",276;
"BIXPCGW 7274157868 split(60/64)",280;
"ZTGIJCF4 1 1 0 1 1821661595 split(11/16)",280;
"ZTGIJCF4 0 0 1 1 1821661595 split(0/8)",280;
"GLFVCVK4 2477216213 split(27/64)",285;
"QZECFIC wt2 split(2/4)",286;
"ZTGIJCF4 1 1 0 1 1821661595 split(14/16)",290;
"BIXPCGW 7274157868 split(10/64)",293;
"BIXPCGW 7274157868 split(12/64)",294;
"BIXPCGW 7274157868 split(5/64)",295;
"QITNPEA4 0 1 1 1 3803737830 split(6/16)",296;
"BIXPCGW 7274157868 split(20/64)",300;
"QITNPEA4 0 1 1 1 3803737830 split(5/16)",303;
"BIXPCGW 7274157868 split(17/64)",307;
"ZTGIJCF4 1 1 1 0 1821661595 split(13/16)",318;
"ZTGIJCF4 1 0 1 1 1821661595 split(3/16)",318;
"QITNPEA4 1 0 1 1 3803737830 split(6/16)",322;
"QITNPEA4 0 1 1 0 3803737830 split(0/8)",324;
"GLFVCVK4 2477216213 split(55/64)",326;
"GLFVCVK4 2477216213 split(47/64)",330;
"QITNPEA4 0 1 1 1 3803737830 split(11/16)",344;
"9269152105",348;
"ZTGIJCF4 1 0 1 1 1821661595 split(6/16)",357;
"QITNPEA4 0 1 0 1 3803737830 split(0/8)",357;
"QITNPEA4 1 1 0 0 3803737830 split(0/8)",362;
"QITNPEA4 1 1 0 1 3803737830 split(14/16)",365;
"QITNPEA4 1 0 1 1 3803737830 split(11/16)",367;
"ZTGIJCF4 0 1 1 1 1821661595 split(13/16)",371;
"QITNPEA4 1 1 0 1 3803737830 split(11/16)",373;
"5490182221",375;
"QITNPEA4 1 0 1 0 3803737830 split(0/8)",376;
"GLFVCVK4 2477216213 y4crit split(0/8)",378;
"GLFVCVK4 2477216213 split(59/64)",380;
"9507202313",382;
"QITNPEA4 1 0 0 1 3803737830 split(0/8)",383;
"QITNPEA4 1 1 1 0 3803737830 split(13/16)",388;
"QITNPEA1 1 1 9063653052 split(0/8)",389;
"ZTGIJCF4 0 1 1 1 1821661595 split(14/16)",395;
"ZTGIJCF4 0 0 1 1 1821661595 split(4/8)",397;
"GLFVCVK4 2477216213 split(62/64)",398;
"BIXPCGW 7274157868 split(35/64)",398;
"ZTGIJCF4 1 0 1 1 1821661595 split(11/16)",400;
"3872614111",404;
"ZTGIJCF4 1 1 1 0 1821661595 split(14/16)",407;
"ZTGIJCF4 1 1 1 0 1821661595 split(11/16)",412;
"QITNPEA4 0 0 1 1 3803737830 split(4/8)",418;
"9925287433",418;
"ZTGIJCF4 1 0 1 0 1821661595 split(0/8)",422;
"4841020453",424;
"BIXPCGW 7274157868 split(56/64)",433;
"GLFVCVK4 2477216213 split(61/64)",436;
"ZTGIJCF4 0 1 0 1 1821661595 split(4/8)",454;
"ZTGIJCF4 0 1 1 0 1821661595 split(4/8)",454;
"QITNPEA4 1 0 1 1 3803737830 split(14/16)",455;
"2390583444",456;
"ZTGIJCF4 1 1 0 0 1821661595 split(4/8)",463;
"ZTGIJCF4 1 1 0 1 1821661595 split(5/16)",470;
"6619134733",474;
"7043724150 a reduced",481;
"BIXPCGW 7274157868 split(1/64)",489;
"QITNPEA4 1 1 0 1 3803737830 split(5/16)",493;
"ZTGIJCF4 1 0 1 1 1821661595 split(14/16)",496;
"BIXPCGW 7274157868 split(2/64)",498;
"QITNPEA1 2 1 9063653052 split(0/4)",503;
"BIXPCGW 7274157868 split(42/64)",503;
"2739661360",507;
"ZTGIJCF4 1 0 0 1 1821661595 split(0/8)",507;
"2739661360",509;
"7720405539",520;
"GLFVCVK4 2477216213 y4crit split(2/8)",527;
"3139693500",528;
"BIXPCGW 7274157868 split(49/64)",529;
"QITNPEA4 0 1 1 1 3803737830 split(13/16)",529;
"QITNPEA4 1 1 1 0 3803737830 split(11/16)",529;
"QITNPEA1 1 1 9063653052 split(2/8)",529;
"BIXPCGW 7274157868 split(37/64)",530;
"QITNPEA4 0 1 1 1 3803737830 split(14/16)",532;
"BIXPCGW 7274157868 split(8/64)",533;
"QITNPEA4 1 0 1 1 3803737830 split(5/16)",533;
"QITNPEA4 1 1 1 0 3803737830 split(14/16)",536;
"BIXPCGW 7274157868 split(16/64)",537;
"QITNPEA4 1 0 0 1 3803737830 split(4/8)",542;
"5735387903",547;
"BIXPCGW 7274157868 split(38/64)",548;
"ZTGIJCF4 1 1 0 1 1821661595 split(13/16)",555;
"QZECFIC wt2 split(1/4)",569;
"2535350075",574;
"ZTGIJCF4 1 0 1 0 1821661595 split(4/8)",577;
"4922521904",578;
"QITNPEA4 1 1 0 1 3803737830 split(13/16)",588;
"QITNPEA4 1 0 1 0 3803737830 split(4/8)",590;
"BIXPCGW 7274157868 split(4/64)",591;
"ZTGIJCF4 1 0 0 1 1821661595 split(4/8)",593;
"2535350075",594;
"4922521904",600;
"ZTGIJCF4 1 1 1 0 1821661595 split(7/16)",621;
"181212899 4",622;
"181212899 5",628;
"ZTGIJCF4 1 0 1 1 1821661595 split(5/16)",638;
"1550635295",638;
"MKFKQWU",670;
"ZTGIJCF4 0 1 1 1 1821661595 split(7/16)",674;
"ZTGIJCF4 0 1 0 1 1821661595 split(1/8)",680;
"181212899 3",685;
"ZTGIJCF4 0 1 1 0 1821661595 split(1/8)",690;
"ZTGIJCF4 1 1 0 0 1821661595 split(2/8)",690;
"9563139965 e",694;
"181212899 2",697;
"6987934000",705;
"2923748598",708;
"QITNPEA4 0 1 1 0 3803737830 split(4/8)",714;
"QITNPEA4 0 1 0 1 3803737830 split(4/8)",718;
"4306175952",724;
"BIXPCGW 7274157868 split(44/64)",727;
"BIXPCGW 7274157868 split(52/64)",728;
"7316455966",730;
"BIXPCGW 7080972881 a",734;
"BIXPCGW 7274157868 split(18/64)",737;
"QITNPEA4 1 1 0 0 3803737830 split(4/8)",737;
"BIXPCGW 7274157868 split(9/64)",737;
"QZECFIC wt2 split(3/4)",740;
"QITNPEA4 1 1 1 0 3803737830 split(7/16)",741;
"GLFVCVK4 2477216213 y4crit split(1/8)",773;
"6410081357",781;
"QITNPEA1 1 1 9063653052 split(1/8)",785;
"GLFVCVK4 2477216213 y4crit split(4/8)",805;
"QITNPEA1 1 1 9063653052 split(4/8)",816;
"BIXPCGW 7274157868 split(50/64)",822;
"QITNPEA4 0 0 1 1 3803737830 split(1/8)",827;
"QITNPEA4 1 0 1 1 3803737830 split(13/16)",829;
"QITNPEA4 0 0 1 1 3803737830 split(2/8)",838;
"GLFVCVK4 2477216213 split(21/64)",840;
"BIXPCGW 7274157868 split(40/64)",843;
"BIXPCGW 7274157868 split(33/64)",844;
"BIXPCGW 7274157868 split(41/64)",845;
"ZTGIJCF4 0 0 1 1 1821661595 split(1/8)",881;
"GLFVCVK4 2477216213 split(14/64)",885;
"ZTGIJCF4 1 0 1 1 1821661595 split(13/16)",888;
"6836427086",890;
"ZTGIJCF4 0 0 1 1 1821661595 split(2/8)",892;
"QITNPEA4 0 1 1 1 3803737830 split(7/16)",892;
"4222324842",898;
"QITNPEA1 2 1 9063653052 split(1/4)",900;
"OXLZLEZ 6346351218 1 30",901;
"BIXPCGW 7274157868 split(34/64)",914;
"BIXPCGW 7274157868 split(48/64)",923;
"QITNPEA4 0 1 0 1 3803737830 split(1/8)",924;
"QITNPEA4 0 1 1 0 3803737830 split(1/8)",924;
"QITNPEA4 1 1 0 0 3803737830 split(2/8)",935;
"1894886027",937;
"QITNPEA1 2 1 9063653052 split(2/4)",945;
"ZTGIJCF4 0 1 1 1 1821661595 split(15/16)",966;
"BIXPCGW 7274157868 split(0/64)",999;
"QITNPEA1 1 2 9063653052 split(0/4)",1048;
"ZTGIJCF4 1 1 0 1 1821661595 split(7/16)",1069;
"ZTGIJCF4 1 1 1 0 1821661595 split(15/16)",1073;
"ZTGIJCF4 0 1 0 1 1821661595 split(2/8)",1079;
"RQWUDDU split(0/2)",1083;
"ZTGIJCF4 0 1 1 0 1821661595 split(2/8)",1086;
"ZTGIJCF4 1 1 0 0 1821661595 split(1/8)",1095;
"6284721194",1109;
"GLFVCVK4 2477216213 split(7/64)",1130;
"QITNPEA4 1 1 0 1 3803737830 split(7/16)",1130;
"QITNPEA1 1 1 9063653052 split(3/8)",1152;
"QITNPEA1 1 1 9063653052 split(6/8)",1153;
"GLFVCVK4 2477216213 y4crit split(3/8)",1156;
"GLFVCVK4 2477216213 y4crit split(6/8)",1159;
"ZTGIJCF4 1 1 0 1 1821661595 split(15/16)",1169;
"1284543870",1171;
"GLFVCVK4 2477216213 split(28/64)",1174;
"3020140039",1197;
"ZTGIJCF4 0 1 0 1 1821661595 split(5/8)",1208;
"QITNPEA4 1 0 1 0 3803737830 split(1/8)",1219;
"ZTGIJCF4 0 1 1 0 1821661595 split(5/8)",1226;
"ZTGIJCF4 1 1 0 0 1821661595 split(6/8)",1230;
"QITNPEA4 1 0 1 0 3803737830 split(2/8)",1232;
"1836408787",1235;
"5835568093",1249;
"GLFVCVK4 2477216213 split(13/64)",1253;
"GLFVCVK4 2477216213 split(22/64)",1255;
"QITNPEA1 2 2 9063653052 split(0/2)",1258;
"7409690040",1267;
"5756588587",1271;
"ZTGIJCF4 0 0 1 1 1821661595 split(5/8)",1292;
"QITNPEA4 0 0 1 1 3803737830 split(5/8)",1299;
"ZTGIJCF4 1 0 1 0 1821661595 split(1/8)",1312;
"ZTGIJCF4 1 0 1 0 1821661595 split(2/8)",1314;
"9229542852",1326;
"QITNPEA4 0 0 1 1 3803737830 split(6/8)",1328;
"ZTGIJCF4 0 0 1 1 1821661595 split(6/8)",1334;
"QITNPEA4 1 1 1 0 3803737830 split(15/16)",1355;
"BIXPCGW 1738910218 a",1356;
"QITNPEA4 0 1 1 1 3803737830 split(15/16)",1361;
"QITNPEA4 1 1 0 1 3803737830 split(15/16)",1390;
"OXLZLEZ 6346351218 1 29",1398;
"BIXPCGW 7274157868 split(32/64)",1436;
"GLFVCVK4 2477216213 split(19/64)",1500;
"QITNPEA4 1 0 1 1 3803737830 split(7/16)",1521;
"4002562507",1523;
"4041673283",1578;
"QITNPEA1 1 2 9063653052 split(1/4)",1625;
"GLFVCVK4 2477216213 split(11/64)",1626;
"GLFVCVK4 2477216213 split(25/64)",1674;
"GLFVCVK4 2477216213 split(45/64)",1683;
"QITNPEA4 0 1 0 1 3803737830 split(2/8)",1689;
"QITNPEA4 0 1 1 0 3803737830 split(2/8)",1697;
"GLFVCVK4 2477216213 split(26/64)",1703;
"GLFVCVK4 2477216213 split(54/64)",1717;
"GLFVCVK4 2477216213 split(53/64)",1719;
"QITNPEA4 1 1 0 0 3803737830 split(1/8)",1733;
"GLFVCVK4 2477216213 split(46/64)",1753;
"QITNPEA1 1 1 9063653052 split(5/8)",1798;
"GLFVCVK4 2477216213 y4crit split(5/8)",1801;
"QITNPEA4 0 1 0 1 3803737830 split(5/8)",1801;
"GLFVCVK4 2477216213 split(39/64)",1820;
"ZTGIJCF4 1 0 1 1 1821661595 split(7/16)",1843;
"QITNPEA4 0 1 1 0 3803737830 split(5/8)",1858;
"BIXPCGW 6652007036 a",1860;
"OXLZLEZ 6346351218 4 44",1863;
"QITNPEA4 1 1 0 0 3803737830 split(6/8)",1864;
"OXLZLEZ 6346351218 2 44",1865;
"3566713650",1920;
"GLFVCVK4 2477216213 split(60/64)",1947;
"RQWUDDU split(1/2)",1972;
"OXLZLEZ 6346351218 3 30",1985;
"QITNPEA4 1 0 0 1 3803737830 split(2/8)",1991;
"QITNPEA4 1 0 1 1 3803737830 split(15/16)",1994;
"QITNPEA4 1 0 0 1 3803737830 split(1/8)",2033;
"8657368829",2037;
"QITNPEA1 2 1 9063653052 split(3/4)",2053;
"5766053833",2064;
"GLFVCVK4 2477216213 split(51/64)",2124;
"GLFVCVK4 2477216213 split(57/64)",2178;
"TSKAJXY-XLLIPLS",2179;
"QITNPEA4 1 0 1 0 3803737830 split(5/8)",2183;
"ZTGIJCF4 0 1 0 1 1821661595 split(6/8)",2194;
"QITNPEA4 1 0 1 0 3803737830 split(6/8)",2213;
"ZTGIJCF4 1 1 0 0 1821661595 split(5/8)",2226;
"1248932983",2228;
"ZTGIJCF4 0 1 1 0 1821661595 split(6/8)",2237;
"5298513205",2244;
"ZTGIJCF4 1 0 1 0 1821661595 split(5/8)",2246;
"QITNPEA1 1 2 9063653052 split(2/4)",2266;
"ZTGIJCF4 1 0 1 0 1821661595 split(6/8)",2272;
"GLFVCVK4 2477216213 split(43/64)",2285;
"ZTGIJCF4 1 0 1 1 1821661595 split(15/16)",2305;
"9641946727",2311;
"GLFVCVK4 2477216213 split(58/64)",2315;
"OXLZLEZ 6346351218 4 31",2327;
"OXLZLEZ 6346351218 2 31",2328;
"QZECFIC wt1 split(0/2)",2417;
"7743522046",2481;
"ZTGIJCF4 1 0 0 1 1821661595 split(1/8)",2512;
"ZTGIJCF4 1 0 0 1 1821661595 split(2/8)",2521;
"9414951439",2550;
"OXLZLEZ 6346351218 1 43",2578;
"5943578801",2585;
"OXLZLEZ 6346351218 3 29",2698;
"9185711902",2707;
"OXLZLEZ 6346351218 1 7",2721;
"QITNPEA4 0 0 1 1 3803737830 split(3/8)",2722;
"3980286827",2728;
"3425739813",2740;
"9291937879",2753;
"QITNPEA4 1 0 0 1 3803737830 split(5/8)",2755;
"QITNPEA1 1 1 9063653052 split(7/8)",2772;
"GLFVCVK4 2477216213 y4crit split(7/8)",2782;
"QITNPEA4 1 0 0 1 3803737830 split(6/8)",2801;
"3137600529",2844;
"ZTGIJCF4 0 0 1 1 1821661595 split(3/8)",2866;
"OXLZLEZ 6346351218 1 40",2877;
"7718591733",2903;
"9922699028",2957;
"ZTGIJCF4 0 1 0 1 1821661595 split(3/8)",3072;
"QITNPEA1 2 2 9063653052 split(1/2)",3100;
"ZTGIJCF4 0 1 1 0 1821661595 split(3/8)",3101;
"OXLZLEZ 6346351218 2 21",3112;
"9563139965 f",3149;
"OXLZLEZ 6346351218 4 27",3154;
"OXLZLEZ 6346351218 4 20",3155;
"OXLZLEZ 6346351218 2 20",3161;
"ZTGIJCF4 1 1 0 0 1821661595 split(3/8)",3175;
"ZTGIJCF4 1 0 0 1 1821661595 split(5/8)",3207;
"OXLZLEZ 6346351218 1 26",3210;
"OXLZLEZ 6346351218 2 28",3264;
"8199484193",3323;
"GLFVCVK4 2477216213 split(3/64)",3358;
"OXLZLEZ 6346351218 2 19",3372;
"OXLZLEZ 6346351218 3 43",3377;
"ZTGIJCF4 1 0 0 1 1821661595 split(6/8)",3395;
"OXLZLEZ 6346351218 4 28",3456;
"GLFVCVK4 2477216213 split(24/64)",3501;
"OXLZLEZ 6346351218 4 41",3511;
"QITNPEA4 0 1 0 1 3803737830 split(6/8)",3537;
"QITNPEA4 0 1 1 0 3803737830 split(6/8)",3557;
"QITNPEA4 1 1 0 0 3803737830 split(5/8)",3658;
"OXLZLEZ 6346351218 2 42",3670;
"OXLZLEZ 6346351218 3 17",3674;
"OXLZLEZ 6346351218 1 18",3695;
"OXLZLEZ 6346351218 1 17",3695;
"OXLZLEZ 6346351218 1 16",3711;
"GLFVCVK4 2477216213 split(17/64)",3740;
"QITNPEA1 1 2 9063653052 split(3/4)",3759;
"OXLZLEZ 6346351218 1 25",3766;
"OXLZLEZ 6346351218 3 18",3818;
"OXLZLEZ 6346351218 4 42",3819;
"ZTGIJCF4 1 0 0 0 1821661595 split(0/4)",3942;
"ZTGIJCF4 0 0 1 0 1821661595 split(0/4)",3949;
"ZTGIJCF4 0 0 0 1 1821661595 split(0/4)",3975;
"7819193535",4032;
"2151506422",4075;
"QITNPEA4 0 0 1 1 3803737830 split(7/8)",4131;
"8384511215",4157;
"ZTGIJCF4 0 0 1 1 1821661595 split(7/8)",4193;
"QITNPEA4 1 0 0 0 3803737830 split(0/4)",4252;
"QITNPEA4 0 0 0 1 3803737830 split(0/4)",4262;
"QITNPEA4 0 0 1 0 3803737830 split(0/4)",4280;
"7291663656",4421;
"QITNPEA4 0 1 0 1 3803737830 split(3/8)",4572;
"QITNPEA1 1 0 9063653052 split(0/4)",4581;
"QITNPEA4 0 1 1 0 3803737830 split(3/8)",4597;
"ZTGIJCF4 0 1 0 0 1821661595 split(0/4)",4633;
"5760733457",4649;
"5202826650 a",4691;
"9995621667",4699;
"QITNPEA4 1 0 1 0 3803737830 split(3/8)",4713;
"QITNPEA4 1 1 0 0 3803737830 split(3/8)",4715;
"6725783616",4864;
"QITNPEA  5400790175 a split(0/4)",5054;
"ZTGIJCF4 1 0 1 0 1821661595 split(3/8)",5089;
"GLFVCVK4 2477216213 split(20/64)",5144;
"181212899 1",5181;
"181212899 0",5226;
"MKFKQWU halfwt",5307;
"3221740746 a",5611;
"9861833891",6705;
"5405130650",8072;
"3603097872",13611;
"5493250206",43794;
];;