"treatment","rule_3d","LL","k","AIC","BIC","delta_AIC","delta_BIC","improves_AIC","improves_BIC" "AND","NOR3",-218.184329290349,44,524.368658580698,708.015247152383,2.00000000880993,6.17378611271181,FALSE,FALSE "AND","green_alone",-217.951306638634,44,523.902613277269,707.549201848954,1.53395470538044,5.70774080928231,FALSE,FALSE "AND","blue_alone",-218.184329285836,44,524.368658571673,708.015247143358,1.99999999978434,6.17378610368633,FALSE,FALSE "AND","s_01100000",-218.184329286469,44,524.368658572937,708.015247144622,2.00000000104887,6.17378610495075,FALSE,FALSE "AND","s_11100000",-218.184329285973,44,524.368658571946,708.015247143631,2.00000000005775,6.17378610395963,FALSE,FALSE "AND","blue_green_only",-218.184329285679,44,524.368658571359,708.015247143044,1.99999999947011,6.17378610337209,FALSE,FALSE "AND","s_10010000",-218.184329288873,44,524.368658577746,708.015247149431,2.00000000585726,6.17378610975925,FALSE,FALSE "AND","s_11010000",-218.1843292848,44,524.3686585696,708.015247141285,1.99999999771137,6.17378610161325,FALSE,FALSE "AND","s_10110000",-218.184329282992,44,524.368658565985,708.01524713767,1.99999999409613,6.17378609799812,FALSE,FALSE "AND","s_01110000",-218.18432928491,44,524.368658569821,708.015247141506,1.99999999793215,6.17378610183403,FALSE,FALSE "AND","red_alone",-218.184329287901,44,524.368658575801,708.015247147486,2.00000000391265,6.17378610781452,FALSE,FALSE "AND","s_01001000",-218.184329291551,44,524.368658583103,708.015247154788,2.00000001121418,6.17378611511606,FALSE,FALSE "AND","s_11001000",-218.184329285403,44,524.368658570805,708.015247142491,1.99999999891691,6.17378610281889,FALSE,FALSE "AND","s_00101000",-218.184329288205,44,524.368658576411,708.015247148096,2.00000000452212,6.17378610842411,FALSE,FALSE "AND","s_10101000",-218.184329283458,44,524.368658566916,708.015247138602,1.99999999502791,6.1737860989299,FALSE,FALSE "AND","s_01101000",-218.184329293019,44,524.368658586038,708.015247157723,2.00000001414958,6.17378611805157,FALSE,FALSE "AND","minority",-218.184329290652,44,524.368658581304,708.015247152989,2.00000000941588,6.17378611331776,FALSE,FALSE "AND","s_00011000",-218.18432928575,44,524.368658571501,708.015247143186,1.99999999961221,6.17378610351409,FALSE,FALSE "AND","s_10011000",-218.184329289769,44,524.368658579539,708.015247151224,2.00000000765056,6.17378611155243,FALSE,FALSE "AND","s_01011000",-218.184329282127,44,524.368658564255,708.01524713594,1.99999999236616,6.17378609626803,FALSE,FALSE "AND","s_11011000",-218.184329287241,44,524.368658574481,708.015247146166,2.00000000259286,6.17378610649473,FALSE,FALSE "AND","s_00111000",-218.18432929008,44,524.368658580159,708.015247151844,2.0000000082706,6.17378611217259,FALSE,FALSE "AND","s_10111000",-218.184329284848,44,524.368658569696,708.015247141381,1.99999999780709,6.17378610170908,FALSE,FALSE "AND","s_01111000",-218.184329291551,44,524.368658583102,708.015247154787,2.00000001121339,6.17378611511526,FALSE,FALSE "AND","s_11111000",-218.184329285077,44,524.368658570153,708.015247141839,1.99999999826503,6.17378610216701,FALSE,FALSE "AND","red_green_only",-218.184329286948,44,524.368658573897,708.015247145582,2.00000000200816,6.17378610591004,FALSE,FALSE "AND","s_10000100",-218.184329288349,44,524.368658576698,708.015247148383,2.00000000480918,6.17378610871106,FALSE,FALSE "AND","s_11000100",-218.18432929127,44,524.368658582541,708.015247154226,2.00000001065234,6.17378611455422,FALSE,FALSE "AND","s_00100100",-218.184329289973,44,524.368658579946,708.015247151631,2.00000000805778,6.17378611195966,FALSE,FALSE "AND","s_10100100",-218.184329293183,44,524.368658586367,708.015247158052,2.00000001447813,6.17378611838012,FALSE,FALSE "AND","s_01100100",-218.184329286188,44,524.368658572376,708.015247144062,2.00000000048806,6.17378610439005,FALSE,FALSE "AND","s_11100100",-218.184329283735,44,524.368658567471,708.015247139156,1.99999999558247,6.17378609948446,FALSE,FALSE "AND","s_00010100",-218.184329287765,44,524.368658575531,708.015247147216,2.0000000036423,6.17378610754417,FALSE,FALSE "AND","s_10010100",-218.184329286207,44,524.368658572414,708.015247144099,2.00000000052557,6.17378610442745,FALSE,FALSE "AND","s_01010100",-218.184329284594,44,524.368658569188,708.015247140874,1.99999999730005,6.17378610120193,FALSE,FALSE "AND","s_11010100",-218.184329290192,44,524.368658580385,708.01524715207,2.00000000849639,6.17378611239837,FALSE,FALSE "AND","s_00110100",-218.184329289771,44,524.368658579542,708.015247151227,2.00000000765351,6.1737861115555,FALSE,FALSE "AND","s_10110100",-218.184329284966,44,524.368658569932,708.015247141617,1.99999999804334,6.17378610194532,FALSE,FALSE "AND","s_01110100",-218.184329287246,44,524.368658574491,708.015247146176,2.00000000260263,6.17378610650462,FALSE,FALSE "AND","s_11110100",-218.184329288393,44,524.368658576787,708.015247148472,2.00000000489854,6.17378610880041,FALSE,FALSE "AND","s_10001100",-218.184329283655,44,524.368658567309,708.015247138995,1.99999999542104,6.17378609932302,FALSE,FALSE "AND","s_01001100",-218.184329283702,44,524.368658567405,708.01524713909,1.99999999551608,6.17378609941807,FALSE,FALSE "AND","s_00101100",-218.184329284521,44,524.368658569041,708.015247140727,1.99999999715294,6.17378610105493,FALSE,FALSE "AND","s_10101100",-218.184329294781,44,524.368658589562,708.015247161248,2.00000001767387,6.17378612157586,FALSE,FALSE "AND","s_01101100",-218.18432928685,44,524.3686585737,708.015247145385,2.00000000181171,6.17378610571359,FALSE,FALSE "AND","s_11101100",-218.184329286331,44,524.368658572662,708.015247144347,2.00000000077364,6.17378610467551,FALSE,FALSE "AND","s_00011100",-218.184329286835,44,524.368658573671,708.015247145356,2.00000000178215,6.17378610568403,FALSE,FALSE "AND","s_10011100",-218.184329285559,44,524.368658571117,708.015247142803,1.99999999922886,6.17378610313085,FALSE,FALSE "AND","s_01011100",-218.184329286662,44,524.368658573323,708.015247145008,2.00000000143461,6.1737861053366,FALSE,FALSE "AND","s_11011100",-218.184329293348,44,524.368658586695,708.015247158381,2.00000001480691,6.1737861187089,FALSE,FALSE "AND","s_10111100",-218.184329286491,44,524.368658572981,708.015247144667,2.00000000109287,6.17378610499486,FALSE,FALSE "AND","s_01111100",-218.184329288383,44,524.368658576766,708.015247148451,2.00000000487773,6.17378610877972,FALSE,FALSE "AND","red_blue_only",-218.184329293403,44,524.368658586805,708.015247158491,2.00000001491696,6.17378611881884,FALSE,FALSE "AND","s_10000010",-218.184329288295,44,524.368658576591,708.015247148276,2.00000000470243,6.17378610860442,FALSE,FALSE "AND","s_01000010",-218.184329286147,44,524.368658572294,708.015247143979,2.00000000040575,6.17378610430774,FALSE,FALSE "AND","s_11000010",-218.184329291853,44,524.368658583705,708.01524715539,2.00000001181672,6.1737861157186,FALSE,FALSE "AND","s_10100010",-218.184329286021,44,524.368658572042,708.015247143727,2.00000000015393,6.17378610405581,FALSE,FALSE "AND","s_01100010",-218.184329289652,44,524.368658579303,708.015247150989,2.000000007415,6.17378611131699,FALSE,FALSE "AND","s_11100010",-218.184329286069,44,524.368658572138,708.015247143823,2.00000000024977,6.17378610415176,FALSE,FALSE "AND","s_00010010",-218.184329287885,44,524.368658575771,708.015247147456,2.00000000388252,6.17378610778451,FALSE,FALSE "AND","s_10010010",-218.184329293289,44,524.368658586578,708.015247158263,2.00000001468914,6.17378611859101,FALSE,FALSE "AND","s_01010010",-214.853277462254,44,517.706554924507,701.353143496193,-4.66210364738106,-0.488317543479184,TRUE,TRUE "AND","s_11010010",-218.18432929007,44,524.368658580141,708.015247151826,2.00000000825241,6.1737861121544,FALSE,FALSE "AND","s_00110010",-218.184329292157,44,524.368658584314,708.015247155999,2.00000001242563,6.17378611632762,FALSE,FALSE "AND","s_10110010",-218.184329286322,44,524.368658572645,708.01524714433,2.00000000075613,6.17378610465812,FALSE,FALSE "AND","s_01110010",-218.184329290016,44,524.368658580032,708.015247151718,2.00000000814396,6.17378611204595,FALSE,FALSE "AND","s_11110010",-218.184329284606,44,524.368658569212,708.015247140897,1.99999999732324,6.17378610122512,FALSE,FALSE "AND","s_10001010",-218.184329292655,44,524.368658585309,708.015247156995,2.00000001342084,6.17378611732283,FALSE,FALSE "AND","s_01001010",-218.184329290098,44,524.368658580197,708.015247151882,2.00000000830812,6.17378611221,FALSE,FALSE "AND","s_11001010",-218.184329291354,44,524.368658582708,708.015247154394,2.00000001082003,6.17378611472191,FALSE,FALSE "AND","s_00101010",-217.975460996488,44,523.950921992975,707.597510564661,1.58226342108685,5.75604952498884,FALSE,FALSE "AND","s_01101010",-218.184329287095,44,524.36865857419,708.015247145875,2.00000000230159,6.17378610620358,FALSE,FALSE "AND","s_11101010",-218.18432928369,44,524.368658567379,708.015247139065,1.99999999549107,6.17378609939306,FALSE,FALSE "AND","s_00011010",-218.184329293193,44,524.368658586386,708.015247158071,2.00000001449735,6.17378611839922,FALSE,FALSE "AND","s_10011010",-218.184329288191,44,524.368658576382,708.015247148067,2.00000000449336,6.17378610839523,FALSE,FALSE "AND","s_11011010",-218.18432928917,44,524.368658578339,708.015247150024,2.00000000645082,6.17378611035269,FALSE,FALSE "AND","s_00111010",-218.184329286107,44,524.368658572214,708.015247143899,2.00000000032549,6.17378610422747,FALSE,FALSE "AND","s_10111010",-218.184329289142,44,524.368658578284,708.015247149969,2.00000000639523,6.1737861102971,FALSE,FALSE "AND","s_01111010",-218.18432928516,44,524.36865857032,708.015247142005,1.99999999843169,6.17378610233368,FALSE,FALSE "AND","s_00000110",-218.184329288511,44,524.368658577023,708.015247148708,2.00000000513432,6.1737861090362,FALSE,FALSE "AND","s_10000110",-218.1843292922,44,524.3686585844,708.015247156085,2.00000001251124,6.17378611641311,FALSE,FALSE "AND","s_01000110",-218.184329283944,44,524.368658567888,708.015247139573,1.99999999599913,6.17378609990101,FALSE,FALSE "AND","s_11000110",-218.184329293086,44,524.368658586172,708.015247157857,2.00000001428373,6.17378611818572,FALSE,FALSE "AND","s_00100110",-218.184329288622,44,524.368658577244,708.01524714893,2.00000000535601,6.17378610925789,FALSE,FALSE "AND","s_10100110",-218.184329286061,44,524.368658572123,708.015247143808,2.00000000023454,6.17378610413641,FALSE,FALSE "AND","s_11100110",-218.184329289956,44,524.368658579912,708.015247151598,2.00000000802402,6.17378611192589,FALSE,FALSE "AND","s_00010110",-215.857018128484,44,519.714036256968,703.360624828653,-2.65462231492052,1.51916378898136,TRUE,FALSE "AND","EVEN_parity",-218.184329288741,44,524.368658577481,708.015247149167,2.00000000559305,6.17378610949504,FALSE,FALSE "AND","s_01010110",-218.184329290092,44,524.368658580184,708.015247151869,2.0000000082955,6.17378611219738,FALSE,FALSE "AND","s_11010110",-218.184329287515,44,524.36865857503,708.015247146715,2.00000000314151,6.1737861070435,FALSE,FALSE "AND","s_00110110",-218.184329287472,44,524.368658574945,708.01524714663,2.00000000305624,6.17378610695823,FALSE,FALSE "AND","s_10110110",-218.184329283566,44,524.368658567133,708.015247138818,1.99999999524437,6.17378609914624,FALSE,FALSE "AND","s_01110110",-218.184329290408,44,524.368658580816,708.015247152501,2.00000000892726,6.17378611282913,FALSE,FALSE "AND","s_11110110",-218.184329286493,44,524.368658572987,708.015247144672,2.00000000109833,6.17378610500032,FALSE,FALSE "AND","s_00001110",-218.184329292469,44,524.368658584939,708.015247156624,2.00000001305023,6.1737861169521,FALSE,FALSE "AND","s_10001110",-218.184329292993,44,524.368658585986,708.015247157671,2.00000001409762,6.1737861179995,FALSE,FALSE "AND","s_01001110",-218.184329290539,44,524.368658581078,708.015247152763,2.00000000918919,6.17378611309118,FALSE,FALSE "AND","s_11001110",-218.184329287233,44,524.368658574465,708.01524714615,2.0000000025766,6.17378610647847,FALSE,FALSE "AND","s_00101110",-218.184329290645,44,524.36865858129,708.015247152976,2.00000000940202,6.17378611330389,FALSE,FALSE "AND","s_10101110",-218.18432928943,44,524.36865857886,708.015247150545,2.00000000697116,6.17378611087315,FALSE,FALSE "AND","s_01101110",-218.184329285667,44,524.368658571334,708.015247143019,1.99999999944532,6.17378610334731,FALSE,FALSE "AND","s_00011110",-218.184329286864,44,524.368658573727,708.015247145412,2.00000000183866,6.17378610574065,FALSE,FALSE "AND","s_10011110",-218.184329284924,44,524.368658569849,708.015247141534,1.99999999796034,6.17378610186233,FALSE,FALSE "AND","s_01011110",-218.184329289032,44,524.368658578065,708.01524714975,2.00000000617649,6.17378611007848,FALSE,FALSE "AND","s_11011110",-218.184329289459,44,524.368658578918,708.015247150603,2.00000000702983,6.17378611093181,FALSE,FALSE "AND","s_00111110",-218.184329291511,44,524.368658583022,708.015247154707,2.00000001113358,6.17378611503545,FALSE,FALSE "AND","s_10111110",-218.184329285193,44,524.368658570387,708.015247142072,1.99999999849842,6.1737861024003,FALSE,FALSE "AND","s_01111110",-218.184329282255,44,524.368658564509,708.015247136194,1.9999999926207,6.17378609652269,FALSE,FALSE "AND","NAND3",-218.184329284295,44,524.368658568589,708.015247140275,1.99999999670092,6.17378610060291,FALSE,FALSE "AND","AND3",-216.467282395875,44,520.93456479175,704.581153363436,-1.43409378013814,2.73969232376385,TRUE,FALSE "AND","s_10000001",-218.184329287812,44,524.368658575624,708.015247147309,2.00000000373575,6.17378610763762,FALSE,FALSE "AND","s_01000001",-212.210520651966,44,512.421041303932,696.067629875617,-9.94761726795628,-5.7738311640544,TRUE,TRUE "AND","s_11000001",-217.951250317402,44,523.902500634805,707.54908920649,1.53384206291616,5.70762816681804,FALSE,FALSE "AND","s_00100001",-218.184329286134,44,524.368658572267,708.015247143952,2.00000000037858,6.17378610428045,FALSE,FALSE "AND","s_10100001",-218.184329286837,44,524.368658573674,708.015247145359,2.00000000178545,6.17378610568744,FALSE,FALSE "AND","s_01100001",-217.950617470174,44,523.901234940347,707.547823512032,1.53257636845876,5.70636247236064,FALSE,FALSE "AND","s_11100001",-218.184329290977,44,524.368658581953,708.015247153639,2.00000001006504,6.17378611396691,FALSE,FALSE "AND","s_10010001",-218.184329285699,44,524.368658571397,708.015247143083,1.99999999950899,6.17378610341086,FALSE,FALSE "AND","s_01010001",-204.244078696731,44,496.488157393461,680.134745965146,-25.8805011784272,-21.7067150745253,TRUE,TRUE "AND","s_11010001",-218.184329287303,44,524.368658574606,708.015247146291,2.00000000271791,6.17378610661979,FALSE,FALSE "AND","s_00110001",-218.184329285022,44,524.368658570044,708.015247141729,1.99999999815577,6.17378610205765,FALSE,FALSE "AND","s_10110001",-218.184329284596,44,524.368658569193,708.015247140878,1.99999999730437,6.17378610120636,FALSE,FALSE "AND","s_01110001",-218.184329283705,44,524.368658567411,708.015247139096,1.99999999552233,6.17378609942421,FALSE,FALSE "AND","s_11110001",-218.184329291782,44,524.368658583565,708.01524715525,2.00000001167621,6.1737861155782,FALSE,FALSE "AND","s_00001001",-218.1843292848,44,524.368658569601,708.015247141286,1.99999999771251,6.1737861016145,FALSE,FALSE "AND","s_10001001",-218.184329289626,44,524.368658579253,708.015247150938,2.00000000736429,6.17378611126628,FALSE,FALSE "AND","s_01001001",-217.950578623176,44,523.901157246352,707.547745818037,1.53249867446323,5.7062847783651,FALSE,FALSE "AND","s_11001001",-218.184329286173,44,524.368658572347,708.015247144032,2.0000000004585,6.17378610436049,FALSE,FALSE "AND","s_00101001",-217.97412163158,44,523.948243263161,707.594831834846,1.57958469127254,5.75337079517442,FALSE,FALSE "AND","s_10101001",-218.184329286582,44,524.368658573164,708.015247144849,2.00000000127568,6.17378610517767,FALSE,FALSE "AND","ODD_parity",-218.184329287029,44,524.368658574058,708.015247145743,2.00000000216949,6.17378610607147,FALSE,FALSE "AND","s_11101001",-218.184329288614,44,524.368658577228,708.015247148913,2.0000000053393,6.17378610924129,FALSE,FALSE "AND","s_00011001",-218.184329287435,44,524.36865857487,708.015247146555,2.00000000298178,6.17378610688365,FALSE,FALSE "AND","s_01011001",-218.184329286509,44,524.368658573019,708.015247144704,2.00000000113016,6.17378610503204,FALSE,FALSE "AND","s_11011001",-218.184329284698,44,524.368658569396,708.015247141081,1.99999999750764,6.17378610140952,FALSE,FALSE "AND","s_00111001",-218.18432928459,44,524.368658569181,708.015247140866,1.99999999729232,6.1737861011942,FALSE,FALSE "AND","s_10111001",-218.184329290869,44,524.368658581738,708.015247153423,2.0000000098496,6.17378611375148,FALSE,FALSE "AND","s_01111001",-218.184329287896,44,524.368658575792,708.015247147477,2.00000000390344,6.17378610780531,FALSE,FALSE "AND","s_11111001",-218.184329289762,44,524.368658579524,708.015247151209,2.00000000763509,6.17378611153708,FALSE,FALSE "AND","s_10000101",-218.184329288199,44,524.368658576397,708.015247148082,2.00000000450871,6.17378610841058,FALSE,FALSE "AND","s_01000101",-217.894505310063,44,523.789010620126,707.435599191811,1.42035204823776,5.59413815213975,FALSE,FALSE "AND","s_11000101",-218.184329289896,44,524.368658579792,708.015247151477,2.00000000790362,6.17378611180561,FALSE,FALSE "AND","s_00100101",-218.184329286466,44,524.368658572932,708.015247144617,2.00000000104308,6.17378610494507,FALSE,FALSE "AND","s_01100101",-218.184329281864,44,524.368658563728,708.015247135414,1.9999999918399,6.17378609574189,FALSE,FALSE "AND","s_11100101",-218.184329285263,44,524.368658570526,708.015247142211,1.99999999863746,6.17378610253934,FALSE,FALSE "AND","s_00010101",-212.476549940529,44,512.953099881058,696.599688452743,-9.41555869083084,-5.24177258692896,TRUE,TRUE "AND","s_10010101",-218.184329284736,44,524.368658569471,708.015247141157,1.9999999975829,6.17378610148489,FALSE,FALSE "AND","s_11010101",-218.184329285589,44,524.368658571178,708.015247142863,1.99999999928923,6.17378610319111,FALSE,FALSE "AND","s_00110101",-218.184329283998,44,524.368658567996,708.015247139681,1.99999999610725,6.17378610000924,FALSE,FALSE "AND","s_10110101",-218.184329286266,44,524.368658572531,708.015247144216,2.00000000064267,6.17378610454455,FALSE,FALSE "AND","s_01110101",-218.184329286285,44,524.36865857257,708.015247144255,2.00000000068155,6.17378610458343,FALSE,FALSE "AND","s_00001101",-218.184329288808,44,524.368658577617,708.015247149302,2.00000000572811,6.17378610962999,FALSE,FALSE "AND","s_10001101",-218.184329285209,44,524.368658570418,708.015247142103,1.99999999852946,6.17378610243145,FALSE,FALSE "AND","s_01001101",-218.18432928605,44,524.368658572099,708.015247143784,2.00000000021066,6.17378610411254,FALSE,FALSE "AND","s_11001101",-218.184329292986,44,524.368658585973,708.015247157658,2.00000001408409,6.17378611798608,FALSE,FALSE "AND","s_00101101",-218.184329284769,44,524.368658569538,708.015247141223,1.9999999976493,6.17378610155129,FALSE,FALSE "AND","s_10101101",-218.184329285379,44,524.368658570759,708.015247142444,1.99999999887029,6.17378610277228,FALSE,FALSE "AND","s_01101101",-218.184329285147,44,524.368658570293,708.015247141978,1.99999999840475,6.17378610230662,FALSE,FALSE "AND","s_11101101",-218.18432928485,44,524.368658569699,708.015247141385,1.99999999781096,6.17378610171284,FALSE,FALSE "AND","s_00011101",-218.18432929275,44,524.368658585499,708.015247157185,2.00000001361093,6.17378611751292,FALSE,FALSE "AND","s_10011101",-218.184329285821,44,524.368658571643,708.015247143328,1.9999999997541,6.17378610365608,FALSE,FALSE "AND","s_01011101",-218.18432928218,44,524.368658564361,708.015247136046,1.99999999247245,6.17378609637444,FALSE,FALSE "AND","s_00111101",-218.184329285669,44,524.368658571338,708.015247143023,1.99999999944964,6.17378610335152,FALSE,FALSE "AND","s_10111101",-218.184329285204,44,524.368658570409,708.015247142094,1.99999999852025,6.17378610242213,FALSE,FALSE "AND","s_01111101",-218.184329286576,44,524.368658573152,708.015247144837,2.00000000126363,6.17378610516562,FALSE,FALSE "AND","s_11111101",-218.184329286599,44,524.368658573199,708.015247144884,2.00000000131035,6.17378610521223,FALSE,FALSE "AND","s_10000011",-218.184329289692,44,524.368658579385,708.01524715107,2.00000000749651,6.17378611139839,FALSE,FALSE "AND","s_01000011",-205.76676971979,44,499.533539439581,683.180128011266,-22.8351191323078,-18.6613330284058,TRUE,TRUE "AND","s_00100011",-217.910418821539,44,523.820837643079,707.467426214764,1.45217907119013,5.62596517509201,FALSE,FALSE "AND","s_10100011",-218.184329284232,44,524.368658568464,708.015247140149,1.9999999965753,6.17378610047717,FALSE,FALSE "AND","s_01100011",-218.184329289721,44,524.368658579441,708.015247151127,2.00000000755301,6.17378611145489,FALSE,FALSE "AND","s_11100011",-218.184329284758,44,524.368658569517,708.015247141202,1.99999999762849,6.17378610153037,FALSE,FALSE "AND","s_00010011",-198.007375325147,44,484.014750650295,667.66133922198,-38.3539079215937,-34.1801218176918,TRUE,TRUE "AND","s_10010011",-218.184329288142,44,524.368658576283,708.015247147969,2.00000000439502,6.17378610829689,FALSE,FALSE "AND","s_01010011",-188.280306812634,44,464.560613625268,648.207202196953,-57.8080449466209,-53.634258842719,TRUE,TRUE "AND","s_11010011",-214.839363976482,44,517.678727952965,701.32531652465,-4.68993061892354,-0.516144515021551,TRUE,TRUE "AND","s_10110011",-218.184329288537,44,524.368658577075,708.01524714876,2.00000000518628,6.17378610908816,FALSE,FALSE "AND","s_01110011",-214.799574375333,44,517.599148750666,701.245737322352,-4.76950982122196,-0.59572371731997,TRUE,TRUE "AND","s_00001011",-217.952628441914,44,523.905256883827,707.551845455512,1.53659831193875,5.71038441584074,FALSE,FALSE "AND","s_10001011",-218.184329285234,44,524.368658570468,708.015247142153,1.9999999985796,6.17378610248147,FALSE,FALSE "AND","s_01001011",-218.184329288497,44,524.368658576993,708.015247148678,2.00000000510477,6.17378610900664,FALSE,FALSE "AND","s_11001011",-218.184329286904,44,524.368658573807,708.015247145492,2.00000000191892,6.1737861058208,FALSE,FALSE "AND","s_00101011",-214.573312632942,44,517.146625265885,700.79321383757,-5.22203330600382,-1.04824720210195,TRUE,TRUE "AND","s_10101011",-217.975460974459,44,523.950921948919,707.597510520604,1.58226337703024,5.75604948093212,FALSE,FALSE "AND","s_01101011",-217.971908471061,44,523.943816942122,707.590405513807,1.57515837023334,5.74894447413521,FALSE,FALSE "AND","s_11101011",-218.184329293378,44,524.368658586755,708.01524715844,2.00000001486671,6.1737861187687,FALSE,FALSE "AND","s_00011011",-218.184329291593,44,524.368658583186,708.015247154871,2.00000001129729,6.17378611519916,FALSE,FALSE "AND","s_10011011",-218.184329282263,44,524.368658564526,708.015247136211,1.99999999263787,6.17378609653974,FALSE,FALSE "AND","s_01011011",-214.78950293907,44,517.57900587814,701.225594449825,-4.78965269374828,-0.615866589846291,TRUE,TRUE "AND","s_11011011",-218.184329284501,44,524.368658569002,708.015247140687,1.99999999711315,6.17378610101503,FALSE,FALSE "AND","s_00111011",-217.824133336779,44,523.648266673558,707.294855245244,1.27960810166985,5.45339420557184,FALSE,FALSE "AND","s_01111011",-218.184329285608,44,524.368658571216,708.015247142901,1.99999999932743,6.1737861032293,FALSE,FALSE "AND","s_11111011",-218.184329294603,44,524.368658589207,708.015247160892,2.00000001731848,6.17378612122047,FALSE,FALSE "AND","s_00000111",-212.650025499027,44,513.300050998055,696.94663956974,-9.06860757383367,-4.89482146993168,TRUE,TRUE "AND","s_10000111",-218.18432929265,44,524.3686585853,708.015247156985,2.00000001341164,6.17378611731351,FALSE,FALSE "AND","s_01000111",-217.335113139737,44,522.670226279474,706.316814851159,0.30156770758515,4.47535381148714,FALSE,FALSE "AND","s_11000111",-218.184329289571,44,524.368658579142,708.015247150827,2.00000000725379,6.17378611115566,FALSE,FALSE "AND","s_00100111",-218.184329287909,44,524.368658575819,708.015247147504,2.00000000393015,6.17378610783203,FALSE,FALSE "AND","s_10100111",-218.184329283654,44,524.368658567308,708.015247138993,1.99999999541967,6.17378609932155,FALSE,FALSE "AND","s_01100111",-218.184329285134,44,524.368658570268,708.015247141953,1.99999999837951,6.17378610228138,FALSE,FALSE "AND","s_11100111",-218.184329283534,44,524.368658567068,708.015247138753,1.99999999517945,6.17378609908133,FALSE,FALSE "AND","majority",-202.312600915632,44,492.625201831264,676.271790402949,-29.7434567406245,-25.5696706367225,TRUE,TRUE "AND","s_10010111",-215.847463622946,44,519.694927245893,703.341515817578,-2.67373132599585,1.50005477790614,TRUE,FALSE "AND","s_01010111",-205.097291963713,44,498.194583927426,681.841172499112,-24.174074644462,-20.0002885405601,TRUE,TRUE "AND","s_11010111",-218.184329285397,44,524.368658570794,708.01524714248,1.99999999890599,6.17378610280787,FALSE,FALSE "AND","s_00110111",-215.819208315598,44,519.638416631196,703.285005202881,-2.73024194069239,1.44354416320948,TRUE,FALSE "AND","s_10110111",-218.184329285914,44,524.368658571829,708.015247143514,1.99999999994009,6.17378610384208,FALSE,FALSE "AND","s_11110111",-218.184329288871,44,524.368658577743,708.015247149428,2.00000000585408,6.17378610975607,FALSE,FALSE "AND","s_10001111",-218.184329287313,44,524.368658574625,708.015247146311,2.00000000273701,6.17378610663889,FALSE,FALSE "AND","s_01001111",-218.184329290565,44,524.36865858113,708.015247152815,2.00000000924126,6.17378611314314,FALSE,FALSE "AND","s_00101111",-217.963177328678,44,523.926354657356,707.572943229041,1.55769608546734,5.73148218936922,FALSE,FALSE "AND","s_01101111",-218.184329285558,44,524.368658571116,708.015247142801,1.99999999922773,6.17378610312971,FALSE,FALSE "AND","s_11101111",-218.184329292396,44,524.368658584791,708.015247156477,2.00000001290289,6.17378611680488,FALSE,FALSE "AND","s_00011111",-215.767251212436,44,519.534502424872,703.181090996557,-2.83415614701619,1.3396299568858,TRUE,FALSE "AND","s_10011111",-218.184329288849,44,524.368658577697,708.015247149383,2.00000000580883,6.17378610971082,FALSE,FALSE "AND","s_11011111",-218.184329287075,44,524.36865857415,708.015247145835,2.00000000226157,6.17378610616345,FALSE,FALSE "AND","s_10111111",-218.184329291327,44,524.368658582655,708.01524715434,2.00000001076637,6.17378611466825,FALSE,FALSE "AND","OR3",-218.184329289721,44,524.368658579441,708.015247151127,2.00000000755301,6.17378611145489,FALSE,FALSE "EITHER","NOR3",-245.243598578307,44,578.487197156614,762.133785728299,2.00009894380707,6.17388504770895,FALSE,FALSE "EITHER","green_alone",-245.243539702781,44,578.487079405562,762.133667977247,1.99998119275529,6.17376729665727,FALSE,FALSE "EITHER","blue_alone",-245.243343211573,44,578.486686423145,762.133274994831,1.99958821033874,6.17337431424073,FALSE,FALSE "EITHER","s_01100000",-244.880150705854,44,577.760301411709,761.406889983394,1.27320319890237,5.44698930280435,FALSE,FALSE "EITHER","s_11100000",-245.243719499468,44,578.487438998935,762.13402757062,2.00034078612862,6.17412689003049,FALSE,FALSE "EITHER","blue_green_only",-245.243779299801,44,578.487558599603,762.134147171288,2.00046038679602,6.17424649069801,FALSE,FALSE "EITHER","s_10010000",-245.243350209251,44,578.486700418502,762.133288990187,1.99960220569574,6.17338830959761,FALSE,FALSE "EITHER","s_11010000",-245.24345401042,44,578.48690802084,762.133496592525,1.99980980803321,6.17359591193508,FALSE,FALSE "EITHER","s_10110000",-245.243363195001,44,578.486726390002,762.133314961687,1.99962817719518,6.17341428109705,FALSE,FALSE "EITHER","s_01110000",-244.869822810268,44,577.739645620536,761.386234192222,1.25254740772971,5.4263335116317,FALSE,FALSE "EITHER","red_alone",-245.24343759595,44,578.4868751919,762.133463763585,1.99977697909367,6.17356308299566,FALSE,FALSE "EITHER","s_01001000",-244.879659689402,44,577.759319378803,761.405907950488,1.2722211659966,5.44600726989859,FALSE,FALSE "EITHER","s_11001000",-245.243422511694,44,578.486845023388,762.133433595073,1.9997468105812,6.17353291448319,FALSE,FALSE "EITHER","s_00101000",-244.878351881193,44,577.756703762387,761.403292334072,1.26960554958021,5.44339165348208,FALSE,FALSE "EITHER","s_10101000",-245.243340432589,44,578.486680865179,762.133269436864,1.9995826523724,6.17336875627427,FALSE,FALSE "EITHER","s_01101000",-241.571032303173,44,571.142064606347,754.788653178032,-5.34503360645976,-1.17124750255778,TRUE,TRUE "EITHER","minority",-244.88194517524,44,577.763890350479,761.410478922164,1.2767921376726,5.45057824157448,FALSE,FALSE "EITHER","s_00011000",-245.243434057089,44,578.486868114177,762.133456685862,1.99976990137043,6.17355600527242,FALSE,FALSE "EITHER","s_10011000",-245.243515960075,44,578.48703192015,762.133620491835,1.99993370734296,6.17371981124495,FALSE,FALSE "EITHER","s_01011000",-244.870767994841,44,577.741535989682,761.388124561367,1.25443777687553,5.42822388077741,FALSE,FALSE "EITHER","s_11011000",-245.243366669488,44,578.486733338977,762.133321910662,1.99963512617023,6.17342123007222,FALSE,FALSE "EITHER","s_00111000",-244.863988281129,44,577.727976562257,761.374565133942,1.24087834945044,5.41466445335243,FALSE,FALSE "EITHER","s_10111000",-245.243333329017,44,578.486666658034,762.133255229719,1.99956844522774,6.17335454912961,FALSE,FALSE "EITHER","s_01111000",-241.473683668835,44,570.94736733767,754.593955909355,-5.53973087513691,-1.36594477123492,TRUE,TRUE "EITHER","s_11111000",-244.88021493935,44,577.760429878701,761.407018450386,1.27333166589392,5.44711776979591,FALSE,FALSE "EITHER","red_green_only",-245.243498776699,44,578.486997553397,762.133586125082,1.99989934059056,6.17368544449243,FALSE,FALSE "EITHER","s_10000100",-245.243491911307,44,578.486983822614,762.133572394299,1.99988560980751,6.1736717137095,FALSE,FALSE "EITHER","s_11000100",-245.243340441015,44,578.48668088203,762.133269453715,1.99958266922317,6.17336877312516,FALSE,FALSE "EITHER","s_00100100",-244.722220972194,44,577.444441944389,761.091030516074,0.957343731582341,5.13112983548422,FALSE,FALSE "EITHER","s_10100100",-245.243654472207,44,578.487308944414,762.133897516099,2.00021073160724,6.17399683550923,FALSE,FALSE "EITHER","s_01100100",-245.243479950985,44,578.48695990197,762.133548473655,1.99986168916348,6.17364779306547,FALSE,FALSE "EITHER","s_11100100",-245.243527595407,44,578.487055190815,762.1336437625,1.99995697800796,6.17374308190995,FALSE,FALSE "EITHER","s_00010100",-244.668919035392,44,577.337838070785,760.98442664247,0.850739857978169,5.02452596188016,FALSE,FALSE "EITHER","s_10010100",-245.243416497991,44,578.486832995981,762.133421567666,1.99973478317452,6.17352088707651,FALSE,FALSE "EITHER","s_01010100",-245.243747333461,44,578.487494666921,762.134083238606,2.00039645411448,6.17418255801647,FALSE,FALSE "EITHER","s_11010100",-245.243340432096,44,578.486680864191,762.133269435876,1.99958265138457,6.17336875528645,FALSE,FALSE "EITHER","s_00110100",-242.955126656216,44,573.910253312432,757.556841884117,-2.57684490037491,1.59694120352708,TRUE,FALSE "EITHER","s_10110100",-245.243633885541,44,578.487267771083,762.133856342768,2.0001695582763,6.17395566217817,FALSE,FALSE "EITHER","s_01110100",-245.243487116474,44,578.486974232947,762.133562804632,1.99987602014062,6.17366212404261,FALSE,FALSE "EITHER","s_11110100",-245.243422510432,44,578.486845020864,762.133433592549,1.99974680805758,6.17353291195957,FALSE,FALSE "EITHER","s_10001100",-245.243381794818,44,578.486763589636,762.133352161321,1.99966537682928,6.17345148073116,FALSE,FALSE "EITHER","s_01001100",-245.243361727644,44,578.486723455288,762.133312026973,1.99962524248099,6.17341134638298,FALSE,FALSE "EITHER","s_00101100",-245.24353233173,44,578.487064663461,762.133653235146,1.99996645065437,6.17375255455624,FALSE,FALSE "EITHER","s_10101100",-245.243409385551,44,578.486818771102,762.133407342787,1.99972055829494,6.17350666219693,FALSE,FALSE "EITHER","s_01101100",-244.740260167601,44,577.480520335201,761.127108906887,0.993422122394804,5.16720822629668,FALSE,FALSE "EITHER","s_11101100",-245.243856656311,44,578.487713312623,762.134301884308,2.0006150998164,6.17440120371828,FALSE,FALSE "EITHER","s_00011100",-244.946510485364,44,577.893020970727,761.539609542412,1.40592275792073,5.57970886182261,FALSE,FALSE "EITHER","s_10011100",-245.243636095442,44,578.487272190884,762.133860762569,2.00017397807699,6.17396008197886,FALSE,FALSE "EITHER","s_01011100",-245.243651393619,44,578.487302787238,762.133891358923,2.00020457443134,6.17399067833333,FALSE,FALSE "EITHER","s_11011100",-245.243565041198,44,578.487130082397,762.133718654082,2.00003186959032,6.17381797349219,FALSE,FALSE "EITHER","s_10111100",-245.243539586173,44,578.487079172347,762.133667744032,1.99998095954015,6.17376706344214,FALSE,FALSE "EITHER","s_01111100",-241.151227629421,44,570.302455258842,753.949043830527,-6.18464295396461,-2.01085685006274,TRUE,TRUE "EITHER","red_blue_only",-245.243741441177,44,578.487482882354,762.134071454039,2.00038466954766,6.17417077344965,FALSE,FALSE "EITHER","s_10000010",-245.243340433559,44,578.486680867118,762.133269438803,1.9995826543111,6.17336875821309,FALSE,FALSE "EITHER","s_01000010",-245.243551041662,44,578.487102083324,762.133690655009,2.00000387051728,6.17378997441915,FALSE,FALSE "EITHER","s_11000010",-245.243715724706,44,578.487431449413,762.134020021098,2.00033323660625,6.17411934050813,FALSE,FALSE "EITHER","s_10100010",-245.243514133097,44,578.487028266195,762.13361683788,1.99993005338797,6.17371615728985,FALSE,FALSE "EITHER","s_01100010",-245.243549605336,44,578.487099210672,762.133687782357,2.00000099786553,6.1737871017674,FALSE,FALSE "EITHER","s_11100010",-245.243613107968,44,578.487226215936,762.133814787621,2.00012800312925,6.17391410703124,FALSE,FALSE "EITHER","s_00010010",-245.24357516942,44,578.48715033884,762.133738910525,2.00005212603355,6.17383822993554,FALSE,FALSE "EITHER","s_10010010",-245.243787922599,44,578.487575845198,762.134164416883,2.00047763239104,6.17426373629303,FALSE,FALSE "EITHER","s_01010010",-245.243543254801,44,578.487086509601,762.133675081287,1.99998829679475,6.17377440069674,FALSE,FALSE "EITHER","s_11010010",-245.2433810892,44,578.4867621784,762.133350750085,1.99966396559307,6.17345006949506,FALSE,FALSE "EITHER","s_00110010",-245.24357242132,44,578.48714484264,762.133733414325,2.00004662983315,6.17383273373514,FALSE,FALSE "EITHER","s_10110010",-245.243554777483,44,578.487109554967,762.133698126652,2.00001134216029,6.17379744606217,FALSE,FALSE "EITHER","s_01110010",-245.243394673738,44,578.486789347476,762.133377919161,1.99969113466977,6.17347723857165,FALSE,FALSE "EITHER","s_11110010",-245.243676002574,44,578.487352005147,762.133940576832,2.00025379234069,6.17403989624256,FALSE,FALSE "EITHER","s_10001010",-245.243577949342,44,578.487155898684,762.133744470369,2.00005768587778,6.17384378977965,FALSE,FALSE "EITHER","s_01001010",-245.243340447343,44,578.486680894685,762.13326946637,1.99958268187856,6.17336878578055,FALSE,FALSE "EITHER","s_11001010",-245.243789596483,44,578.487579192966,762.134167764652,2.00048098015986,6.17426708406185,FALSE,FALSE "EITHER","s_00101010",-245.243689616364,44,578.487379232727,762.133967804412,2.00028101992064,6.17406712382251,FALSE,FALSE "EITHER","s_01101010",-244.848312536828,44,577.696625073655,761.34321364534,1.20952686084843,5.38331296475042,FALSE,FALSE "EITHER","s_11101010",-245.243346846166,44,578.486693692331,762.133282264017,1.99959547952471,6.1733815834267,FALSE,FALSE "EITHER","s_00011010",-245.243503846109,44,578.487007692218,762.133596263903,1.99990947941149,6.17369558331336,FALSE,FALSE "EITHER","s_10011010",-245.243577513394,44,578.487155026788,762.133743598473,2.00005681398125,6.17384291788323,FALSE,FALSE "EITHER","s_11011010",-245.243620900208,44,578.487241800416,762.133830372101,2.00014358760893,6.17392969151081,FALSE,FALSE "EITHER","s_00111010",-245.243379037051,44,578.486758074102,762.133346645787,1.99965986129575,6.17344596519763,FALSE,FALSE "EITHER","s_10111010",-245.243344514747,44,578.486689029495,762.13327760118,1.99959081668806,6.17337692058993,FALSE,FALSE "EITHER","s_01111010",-243.704477695335,44,575.408955390671,759.055543962356,-1.07814282213599,3.095643281766,TRUE,FALSE "EITHER","s_00000110",-245.243346442427,44,578.486692884853,762.133281456539,1.9995946720469,6.17338077594877,FALSE,FALSE "EITHER","s_10000110",-245.243552721018,44,578.487105442035,762.13369401372,2.00000722922857,6.17379333313045,FALSE,FALSE "EITHER","s_01000110",-245.243512378488,44,578.487024756975,762.13361332866,1.9999265441686,6.17371264807059,FALSE,FALSE "EITHER","s_11000110",-245.243460522955,44,578.48692104591,762.133509617595,1.99982283310328,6.17360893700527,FALSE,FALSE "EITHER","s_00100110",-245.243456914777,44,578.486913829553,762.133502401239,1.99981561674667,6.17360172064866,FALSE,FALSE "EITHER","s_10100110",-245.243485370752,44,578.486970741503,762.133559313188,1.99987252869664,6.17365863259863,FALSE,FALSE "EITHER","s_11100110",-245.243446509947,44,578.486893019893,762.133481591578,1.99979480708669,6.17358091098856,FALSE,FALSE "EITHER","s_00010110",-245.243531660438,44,578.487063320876,762.133651892561,1.99996510806955,6.17375121197153,FALSE,FALSE "EITHER","EVEN_parity",-245.243363961498,44,578.486727922995,762.133316494681,1.99962971018886,6.17341581409073,FALSE,FALSE "EITHER","s_01010110",-245.243473205685,44,578.486946411371,762.133534983056,1.99984819856422,6.17363430246621,FALSE,FALSE "EITHER","s_11010110",-245.243784390456,44,578.487568780912,762.134157352597,2.0004705681057,6.17425667200757,FALSE,FALSE "EITHER","s_00110110",-244.878087571082,44,577.756175142165,761.40276371385,1.26907692935822,5.4428630332601,FALSE,FALSE "EITHER","s_10110110",-245.243449519858,44,578.486899039717,762.133487611402,1.99980082691013,6.17358693081212,FALSE,FALSE "EITHER","s_01110110",-243.972982390369,44,575.945964780737,759.592553352422,-0.541133432069387,3.63265267183249,TRUE,FALSE "EITHER","s_11110110",-245.243447931236,44,578.486895862473,762.133484434158,1.99979764966611,6.1735837535681,FALSE,FALSE "EITHER","s_00001110",-245.24354695513,44,578.487093910261,762.133682481946,1.9999956974541,6.17378180135597,FALSE,FALSE "EITHER","s_10001110",-245.243827341794,44,578.487654683589,762.134243255274,2.00055647078193,6.17434257468381,FALSE,FALSE "EITHER","s_01001110",-245.243510380692,44,578.487020761384,762.133609333069,1.99992254857739,6.17370865247938,FALSE,FALSE "EITHER","s_11001110",-245.243694819578,44,578.487389639155,762.13397821084,2.00029142634844,6.17407753025043,FALSE,FALSE "EITHER","s_00101110",-245.243371759092,44,578.486743518185,762.13333208987,1.99964530537818,6.17343140928017,FALSE,FALSE "EITHER","s_10101110",-245.243481954173,44,578.486963908345,762.133552480031,1.9998656955388,6.17365179944068,FALSE,FALSE "EITHER","s_01101110",-245.028630419785,44,578.057260839571,761.703849411256,1.57016262676427,5.74394873066615,FALSE,FALSE "EITHER","s_00011110",-245.102681861645,44,578.20536372329,761.851952294975,1.71826551048343,5.89205161438531,FALSE,FALSE "EITHER","s_10011110",-245.243455029981,44,578.486910059962,762.133498631648,1.9998118471558,6.17359795105779,FALSE,FALSE "EITHER","s_01011110",-245.089121963378,44,578.178243926757,761.824832498442,1.69114571395016,5.86493181785215,FALSE,FALSE "EITHER","s_11011110",-245.243496126644,44,578.486992253288,762.133580824973,1.99989404048131,6.17368014438318,FALSE,FALSE "EITHER","s_00111110",-243.732097932478,44,575.464195864956,759.110784436641,-1.02290234785062,3.15088375605126,TRUE,FALSE "EITHER","s_10111110",-245.243779015746,44,578.487558031493,762.134146603178,2.00045981868607,6.17424592258806,FALSE,FALSE "EITHER","s_01111110",-239.585900013301,44,567.171800026601,750.818388598286,-9.3152981862055,-5.14151208230362,TRUE,TRUE "EITHER","NAND3",-245.121082953516,44,578.242165907031,761.888754478717,1.75506769422486,5.92885379812685,FALSE,FALSE "EITHER","AND3",-245.243340438911,44,578.486680877823,762.133269449508,1.99958266501619,6.17336876891807,FALSE,FALSE "EITHER","s_10000001",-245.243387736849,44,578.486775473698,762.133364045383,1.99967726089153,6.17346336479352,FALSE,FALSE "EITHER","s_01000001",-245.243323060765,44,578.48664612153,762.133234693215,1.99954790872312,6.17333401262499,FALSE,FALSE "EITHER","s_11000001",-245.243787405448,44,578.487574810896,762.134163382581,2.00047659808934,6.17426270199132,FALSE,FALSE "EITHER","s_00100001",-245.24349232262,44,578.48698464524,762.133573216925,1.9998864324333,6.17367253633518,FALSE,FALSE "EITHER","s_10100001",-245.243330595923,44,578.486661191847,762.133249763532,1.99956297904032,6.17334908294231,FALSE,FALSE "EITHER","s_01100001",-245.243523329818,44,578.487046659636,762.133635231321,1.99994844682965,6.17373455073164,FALSE,FALSE "EITHER","s_11100001",-245.243644526379,44,578.487289052758,762.133877624443,2.0001908399513,6.17397694385318,FALSE,FALSE "EITHER","s_10010001",-245.243461859838,44,578.486923719676,762.133512291361,1.99982550686934,6.17361161077122,FALSE,FALSE "EITHER","s_01010001",-245.243360704317,44,578.486721408635,762.13330998032,1.99962319582801,6.17340929973,FALSE,FALSE "EITHER","s_11010001",-245.243392080193,44,578.486784160386,762.133372732071,1.99968594757968,6.17347205148155,FALSE,FALSE "EITHER","s_00110001",-245.243340440586,44,578.486680881172,762.133269452857,1.99958266836529,6.17336877226717,FALSE,FALSE "EITHER","s_10110001",-245.243813086498,44,578.487626172996,762.134214744681,2.00052796018963,6.17431406409162,FALSE,FALSE "EITHER","s_01110001",-245.243430342289,44,578.486860684577,762.133449256262,1.99976247177051,6.1735485756725,FALSE,FALSE "EITHER","s_11110001",-245.243458630112,44,578.486917260223,762.133505831908,1.99981904741662,6.1736051513185,FALSE,FALSE "EITHER","s_00001001",-245.243496005573,44,578.486992011146,762.133580582831,1.99989379833971,6.17367990224159,FALSE,FALSE "EITHER","s_10001001",-245.243411653762,44,578.486823307525,762.13341187921,1.99972509471831,6.1735111986203,FALSE,FALSE "EITHER","s_01001001",-245.243839026148,44,578.487678052296,762.134266623982,2.00057983948977,6.17436594339176,FALSE,FALSE "EITHER","s_11001001",-245.243841772419,44,578.487683544838,762.134272116523,2.00058533203162,6.17437143593349,FALSE,FALSE "EITHER","s_00101001",-245.243445257918,44,578.486890515836,762.133479087521,1.99979230302904,6.17357840693091,FALSE,FALSE "EITHER","s_10101001",-245.243340430522,44,578.486680861044,762.133269432729,1.99958264823726,6.17336875213914,FALSE,FALSE "EITHER","ODD_parity",-244.84908647254,44,577.69817294508,761.344761516765,1.21107473227312,5.38486083617499,FALSE,FALSE "EITHER","s_11101001",-245.243637535782,44,578.487275071564,762.13386364325,2.00017685875787,6.17396296265974,FALSE,FALSE "EITHER","s_00011001",-245.243633917377,44,578.487267834754,762.13385640644,2.00016962194786,6.17395572584974,FALSE,FALSE "EITHER","s_01011001",-245.244051915857,44,578.488103831715,762.1346924034,2.00100561890827,6.17479172281026,FALSE,FALSE "EITHER","s_11011001",-245.243595088029,44,578.487190176059,762.133778747744,2.0000919632522,6.17387806715408,FALSE,FALSE "EITHER","s_00111001",-245.243518022634,44,578.487036045269,762.133624616954,1.99993783246236,6.17372393636435,FALSE,FALSE "EITHER","s_10111001",-245.243481093346,44,578.486962186692,762.133550758378,1.99986397388579,6.17365007778778,FALSE,FALSE "EITHER","s_01111001",-243.699359563518,44,575.398719127037,759.045307698722,-1.08837908577004,3.08540701813183,TRUE,FALSE "EITHER","s_11111001",-245.243379269259,44,578.486758538517,762.133347110202,1.99966032571058,6.17344642961245,FALSE,FALSE "EITHER","s_10000101",-245.243400126845,44,578.48680025369,762.133388825375,1.99970204088322,6.17348814478521,FALSE,FALSE "EITHER","s_01000101",-245.23237199657,44,578.46474399314,762.111332564825,1.97764578033309,6.15143188423497,FALSE,FALSE "EITHER","s_11000101",-245.243354426136,44,578.486708852272,762.133297423957,1.99961063946512,6.17339674336711,FALSE,FALSE "EITHER","s_00100101",-245.243530087429,44,578.487060174858,762.133648746543,1.9999619620512,6.17374806595319,FALSE,FALSE "EITHER","s_01100101",-245.243352044474,44,578.486704088948,762.133292660633,1.999605876141,6.17339198004288,FALSE,FALSE "EITHER","s_11100101",-245.243726804527,44,578.487453609054,762.134042180739,2.0003553962473,6.17414150014918,FALSE,FALSE "EITHER","s_00010101",-245.244856328031,44,578.489712656062,762.136301227747,2.0026144432552,6.17640054715719,FALSE,FALSE "EITHER","s_10010101",-245.24340160197,44,578.486803203941,762.133391775626,1.99970499113442,6.1734910950363,FALSE,FALSE "EITHER","s_11010101",-245.243418642756,44,578.486837285512,762.133425857197,1.99973907270532,6.17352517660731,FALSE,FALSE "EITHER","s_00110101",-245.243536689805,44,578.48707337961,762.133661951296,1.99997516680378,6.17376127070577,FALSE,FALSE "EITHER","s_10110101",-245.243745973725,44,578.48749194745,762.134080519135,2.00039373464324,6.17417983854523,FALSE,FALSE "EITHER","s_01110101",-244.901332734248,44,577.802665468495,761.44925404018,1.31556725568839,5.48935335959038,FALSE,FALSE "EITHER","s_00001101",-243.137221815104,44,574.274443630208,757.921032201893,-2.21265458259836,1.96113152130351,TRUE,FALSE "EITHER","s_10001101",-245.243382584682,44,578.486765169364,762.133353741049,1.99966695655712,6.17345306045911,FALSE,FALSE "EITHER","s_01001101",-243.17913859514,44,574.358277190279,758.004865761964,-2.12882102252752,2.04496508137447,TRUE,FALSE "EITHER","s_11001101",-245.243555049766,44,578.487110099532,762.133698671217,2.00001188672559,6.17379799062758,FALSE,FALSE "EITHER","s_00101101",-245.243342716518,44,578.486685433035,762.13327400472,1.99958722022848,6.17337332413035,FALSE,FALSE "EITHER","s_10101101",-245.243460965718,44,578.486921931435,762.133510503121,1.99982371862882,6.17360982253069,FALSE,FALSE "EITHER","s_01101101",-245.028655283842,44,578.057310567684,761.703899139369,1.57021235487707,5.74399845877895,FALSE,FALSE "EITHER","s_11101101",-245.243463223558,44,578.486926447116,762.133515018801,1.99982823430923,6.17361433821111,FALSE,FALSE "EITHER","s_00011101",-239.171451921295,44,566.34290384259,749.989492414275,-10.1441943702163,-5.97040826631439,TRUE,TRUE "EITHER","s_10011101",-245.243711586515,44,578.48742317303,762.134011744716,2.00032496022379,6.17411106412567,FALSE,FALSE "EITHER","s_01011101",-239.378730121644,44,566.757460243289,750.404048814974,-9.72963796951797,-5.55585186561609,TRUE,TRUE "EITHER","s_00111101",-240.832959710239,44,569.665919420479,753.312507992164,-6.82117879232783,-2.64739268842584,TRUE,TRUE "EITHER","s_10111101",-245.243635835186,44,578.487271670372,762.133860242058,2.00017345756578,6.17395956146777,FALSE,FALSE "EITHER","s_01111101",-238.643729817406,44,565.287459634812,748.934048206497,-11.1996385779946,-7.02585247409274,TRUE,TRUE "EITHER","s_11111101",-245.140062253873,44,578.280124507746,761.926713079431,1.79302629493975,5.96681239884163,FALSE,FALSE "EITHER","s_10000011",-245.243566877156,44,578.487133754311,762.133722325996,2.00003554150442,6.17382164540629,FALSE,FALSE "EITHER","s_01000011",-245.243536433526,44,578.487072867053,762.133661438738,1.99997465424622,6.17376075814809,FALSE,FALSE "EITHER","s_00100011",-245.243359092899,44,578.486718185798,762.133306757483,1.99961997299158,6.17340607689346,FALSE,FALSE "EITHER","s_10100011",-245.243374608627,44,578.486749217254,762.133337788939,1.99965100444729,6.17343710834916,FALSE,FALSE "EITHER","s_01100011",-245.243387381469,44,578.486774762939,762.133363334624,1.99967655013199,6.17346265403387,FALSE,FALSE "EITHER","s_11100011",-245.243460448411,44,578.486920896823,762.133509468508,1.99982268401595,6.17360878791794,FALSE,FALSE "EITHER","s_00010011",-245.082063336728,44,578.164126673457,761.810715245142,1.67702846065015,5.85081456455202,FALSE,FALSE "EITHER","s_10010011",-245.244820052692,44,578.489640105384,762.136228677069,2.00254189257714,6.17632799647902,FALSE,FALSE "EITHER","s_01010011",-245.243569402695,44,578.487138805389,762.133727377074,2.00004059258276,6.17382669648464,FALSE,FALSE "EITHER","s_11010011",-245.24355960186,44,578.487119203719,762.133707775405,2.00002099091284,6.17380709481483,FALSE,FALSE "EITHER","s_10110011",-245.243415859028,44,578.486831718055,762.13342028974,1.99973350524851,6.17351960915039,FALSE,FALSE "EITHER","s_01110011",-245.243447000688,44,578.486894001377,762.133482573062,1.9997957885704,6.17358189247227,FALSE,FALSE "EITHER","s_00001011",-245.243633097432,44,578.487266194864,762.133854766549,2.00016798205729,6.17395408595917,FALSE,FALSE "EITHER","s_10001011",-245.243437770021,44,578.486875540042,762.133464111727,1.99977732723505,6.17356343113704,FALSE,FALSE "EITHER","s_01001011",-245.243561483676,44,578.487122967352,762.133711539037,2.00002475454562,6.17381085844761,FALSE,FALSE "EITHER","s_11001011",-245.243418757194,44,578.486837514389,762.133426086074,1.99973930158217,6.17352540548404,FALSE,FALSE "EITHER","s_00101011",-245.243457675546,44,578.486915351093,762.133503922778,1.99981713828606,6.17360324218805,FALSE,FALSE "EITHER","s_10101011",-245.243534096239,44,578.487068192478,762.133656764163,1.99996997967128,6.17375608357327,FALSE,FALSE "EITHER","s_01101011",-245.243764535805,44,578.48752907161,762.134117643295,2.00043085880316,6.17421696270515,FALSE,FALSE "EITHER","s_11101011",-245.243504675939,44,578.487009351878,762.133597923563,1.9999111390714,6.17369724297339,FALSE,FALSE "EITHER","s_00011011",-245.243466778685,44,578.486933557369,762.133522129054,1.9998353445626,6.17362144846459,FALSE,FALSE "EITHER","s_10011011",-245.243528808778,44,578.487057617556,762.133646189241,1.99995940474957,6.17374550865145,FALSE,FALSE "EITHER","s_01011011",-245.244607160605,44,578.489214321211,762.135802892896,2.00211610840404,6.17590221230591,FALSE,FALSE "EITHER","s_11011011",-245.243586303035,44,578.487172606071,762.133761177756,2.00007439326407,6.17386049716595,FALSE,FALSE "EITHER","s_00111011",-245.243446556125,44,578.486893112251,762.133481683936,1.99979489944417,6.17358100334604,FALSE,FALSE "EITHER","s_01111011",-245.24345820125,44,578.4869164025,762.133504974185,1.99981818969309,6.17360429359508,FALSE,FALSE "EITHER","s_11111011",-245.243745605787,44,578.487491211574,762.134079783259,2.00039299876721,6.17417910266909,FALSE,FALSE "EITHER","s_00000111",-245.243347666905,44,578.48669533381,762.133283905495,1.99959712100326,6.17338322490525,FALSE,FALSE "EITHER","s_10000111",-245.243506916193,44,578.487013832386,762.133602404071,1.9999156195795,6.17370172348149,FALSE,FALSE "EITHER","s_01000111",-245.243378678505,44,578.486757357011,762.133345928696,1.99965914420409,6.17344524810608,FALSE,FALSE "EITHER","s_11000111",-245.243393331378,44,578.486786662756,762.133375234442,1.99968844994987,6.17347455385175,FALSE,FALSE "EITHER","s_00100111",-245.243473003061,44,578.486946006121,762.133534577807,1.99984779331487,6.17363389721675,FALSE,FALSE "EITHER","s_10100111",-245.243575639554,44,578.487151279108,762.133739850793,2.00005306630112,6.173839170203,FALSE,FALSE "EITHER","s_01100111",-245.243456205182,44,578.486912410364,762.13350098205,1.99981419755784,6.17360030145971,FALSE,FALSE "EITHER","s_11100111",-245.243379129123,44,578.486758258247,762.133346829932,1.99966004544024,6.17344614934211,FALSE,FALSE "EITHER","majority",-245.022339543675,44,578.04467908735,761.691267659035,1.55758087454331,5.73136697844518,FALSE,FALSE "EITHER","s_10010111",-245.244859242879,44,578.489718485758,762.136307057443,2.00262027295139,6.17640637685338,FALSE,FALSE "EITHER","s_01010111",-245.243404015153,44,578.486808030305,762.13339660199,1.99970981749857,6.17349592140056,FALSE,FALSE "EITHER","s_11010111",-245.243402969704,44,578.486805939408,762.133394511093,1.9997077266014,6.17349383050328,FALSE,FALSE "EITHER","s_00110111",-245.16573299399,44,578.331465987979,761.978054559665,1.84436777517271,6.0181538790747,FALSE,FALSE "EITHER","s_10110111",-245.244580140565,44,578.489160281131,762.135748852816,2.00206206832422,6.17584817222621,FALSE,FALSE "EITHER","s_11110111",-245.24334285175,44,578.486685703499,762.133274275184,1.99958749069242,6.17337359459441,FALSE,FALSE "EITHER","s_10001111",-245.243351415313,44,578.486702830627,762.133291402312,1.99960461782007,6.17339072172206,FALSE,FALSE "EITHER","s_01001111",-245.243528821038,44,578.487057642077,762.133646213762,1.99995942927023,6.17374553317211,FALSE,FALSE "EITHER","s_00101111",-245.244171309871,44,578.488342619743,762.134931191428,2.00124440693628,6.17503051083816,FALSE,FALSE "EITHER","s_01101111",-245.243445916798,44,578.486891833595,762.13348040528,1.99979362078852,6.17357972469051,FALSE,FALSE "EITHER","s_11101111",-245.243347026068,44,578.486694052136,762.133282623821,1.99959583932912,6.17338194323099,FALSE,FALSE "EITHER","s_00011111",-244.310807637208,44,576.621615274417,760.268203846102,0.134517061610154,4.30830316551203,FALSE,FALSE "EITHER","s_10011111",-245.2434117256,44,578.4868234512,762.133412022885,1.99972523839358,6.17351134229546,FALSE,FALSE "EITHER","s_11011111",-245.243394444049,44,578.486788888097,762.133377459783,1.99969067529082,6.17347677919281,FALSE,FALSE "EITHER","s_10111111",-245.24339802815,44,578.4867960563,762.133384627985,1.99969784349321,6.17348394739508,FALSE,FALSE "EITHER","OR3",-236.747295785655,44,561.49459157131,745.141180142995,-14.9925066414962,-10.8187205375943,TRUE,TRUE "INHIBIT","NOR3",-215.445410923309,44,518.890821846617,702.537410418303,1.99999999541023,6.17378609931222,FALSE,FALSE "INHIBIT","green_alone",-215.445410927156,44,518.890821854313,702.537410425998,2.00000000310547,6.17378610700757,FALSE,FALSE "INHIBIT","blue_alone",-215.445410926568,44,518.890821853135,702.53741042482,2.0000000019279,6.17378610583,FALSE,FALSE "INHIBIT","s_01100000",-215.445410927398,44,518.890821854796,702.537410426481,2.00000000358853,6.17378610749051,FALSE,FALSE "INHIBIT","s_11100000",-215.44541092168,44,518.890821843359,702.537410415044,1.99999999215197,6.17378609605396,FALSE,FALSE "INHIBIT","blue_green_only",-215.445410927061,44,518.890821854122,702.537410425808,2.00000000291516,6.17378610681726,FALSE,FALSE "INHIBIT","s_10010000",-215.44541092008,44,518.89082184016,702.537410411845,1.99999998895271,6.1737860928547,FALSE,FALSE "INHIBIT","s_11010000",-215.445410921573,44,518.890821843145,702.53741041483,1.99999999193801,6.17378609584011,FALSE,FALSE "INHIBIT","s_10110000",-215.44541092256,44,518.890821845121,702.537410416806,1.99999999391366,6.17378609781576,FALSE,FALSE "INHIBIT","s_01110000",-215.445410931972,44,518.890821863943,702.537410435629,2.00000001273622,6.17378611663821,FALSE,FALSE "INHIBIT","red_alone",-215.445410925319,44,518.890821850638,702.537410422323,1.99999999943066,6.17378610333265,FALSE,FALSE "INHIBIT","s_01001000",-215.445410920023,44,518.890821840046,702.537410411731,1.99999998883834,6.17378609274033,FALSE,FALSE "INHIBIT","s_11001000",-215.445410925763,44,518.890821851526,702.537410423212,2.00000000031923,6.17378610422134,FALSE,FALSE "INHIBIT","s_00101000",-215.445410922016,44,518.890821844031,702.537410415716,1.99999999282386,6.17378609672596,FALSE,FALSE "INHIBIT","s_10101000",-215.445410921104,44,518.890821842207,702.537410413892,1.99999999099998,6.17378609490197,FALSE,FALSE "INHIBIT","s_01101000",-215.445410918247,44,518.890821836495,702.53741040818,1.99999998528779,6.17378608918989,FALSE,FALSE "INHIBIT","minority",-215.445410925827,44,518.890821851654,702.537410423339,2.00000000044633,6.17378610434844,FALSE,FALSE "INHIBIT","s_00011000",-215.445410916437,44,518.890821832875,702.53741040456,1.99999998166766,6.17378608556965,FALSE,FALSE "INHIBIT","s_10011000",-215.445410933259,44,518.890821866519,702.537410438204,2.0000000153118,6.1737861192139,FALSE,FALSE "INHIBIT","s_01011000",-215.445410931961,44,518.890821863921,702.537410435606,2.00000001271417,6.17378611661616,FALSE,FALSE "INHIBIT","s_11011000",-215.445410927142,44,518.890821854283,702.537410425968,2.00000000307591,6.17378610697801,FALSE,FALSE "INHIBIT","s_00111000",-215.445410929874,44,518.890821859749,702.537410431434,2.00000000854163,6.17378611244362,FALSE,FALSE "INHIBIT","s_10111000",-215.445410927791,44,518.890821855581,702.537410427266,2.00000000437387,6.17378610827586,FALSE,FALSE "INHIBIT","s_01111000",-215.445410920168,44,518.890821840336,702.537410412021,1.99999998912836,6.17378609303046,FALSE,FALSE "INHIBIT","s_11111000",-215.445410920128,44,518.890821840256,702.537410411941,1.99999998904832,6.17378609295042,FALSE,FALSE "INHIBIT","red_green_only",-215.44541092365,44,518.8908218473,702.537410418985,1.99999999609281,6.1737860999948,FALSE,FALSE "INHIBIT","s_10000100",-215.44541092454,44,518.890821849079,702.537410420765,1.99999999787224,6.17378610177434,FALSE,FALSE "INHIBIT","s_11000100",-215.445410918264,44,518.890821836527,702.537410408213,1.99999998532019,6.17378608922218,FALSE,FALSE "INHIBIT","s_00100100",-215.445410917733,44,518.890821835466,702.537410407152,1.99999998425915,6.17378608816125,FALSE,FALSE "INHIBIT","s_10100100",-215.445410928361,44,518.890821856722,702.537410428407,2.00000000551472,6.17378610941671,FALSE,FALSE "INHIBIT","s_01100100",-215.445410925044,44,518.890821850088,702.537410421773,1.99999999888064,6.17378610278274,FALSE,FALSE "INHIBIT","s_11100100",-215.445410925335,44,518.890821850669,702.537410422354,1.99999999946215,6.17378610336414,FALSE,FALSE "INHIBIT","s_00010100",-215.205007535999,44,518.410015071998,702.056603643683,1.51919322079061,5.69297932469271,FALSE,FALSE "INHIBIT","s_10010100",-215.445410919373,44,518.890821838745,702.53741041043,1.99999998753788,6.17378609143998,FALSE,FALSE "INHIBIT","s_01010100",-215.445410929758,44,518.890821859516,702.537410431201,2.00000000830869,6.17378611221079,FALSE,FALSE "INHIBIT","s_11010100",-215.445410921754,44,518.890821843509,702.537410415194,1.99999999230135,6.17378609620334,FALSE,FALSE "INHIBIT","s_00110100",-215.44541093144,44,518.89082186288,702.537410434565,2.00000001167314,6.17378611557513,FALSE,FALSE "INHIBIT","s_10110100",-215.4454109281,44,518.8908218562,702.537410427885,2.0000000049929,6.173786108895,FALSE,FALSE "INHIBIT","s_01110100",-215.445410931204,44,518.890821862407,702.537410434093,2.0000000112002,6.1737861151023,FALSE,FALSE "INHIBIT","s_11110100",-215.445410927916,44,518.890821855832,702.537410427517,2.00000000462512,6.17378610852711,FALSE,FALSE "INHIBIT","s_10001100",-215.445410929696,44,518.890821859392,702.537410431077,2.00000000818454,6.17378611208665,FALSE,FALSE "INHIBIT","s_01001100",-201.683346795182,44,491.366693590365,675.01328216205,-25.5241282608425,-21.3503421569405,TRUE,TRUE "INHIBIT","s_00101100",-215.44541092341,44,518.890821846821,702.537410418506,1.99999999561373,6.17378609951572,FALSE,FALSE "INHIBIT","s_10101100",-215.445410931934,44,518.890821863868,702.537410435553,2.00000001266062,6.17378611656261,FALSE,FALSE "INHIBIT","s_01101100",-215.445410921587,44,518.890821843174,702.537410414859,1.99999999196632,6.17378609586831,FALSE,FALSE "INHIBIT","s_11101100",-215.445410920092,44,518.890821840184,702.537410411869,1.99999998897647,6.17378609287857,FALSE,FALSE "INHIBIT","s_00011100",-215.44541092782,44,518.890821855639,702.537410427324,2.00000000443197,6.17378610833407,FALSE,FALSE "INHIBIT","s_10011100",-215.44541091882,44,518.89082183764,702.537410409326,1.99999998643307,6.17378609033517,FALSE,FALSE "INHIBIT","s_01011100",-215.445410908984,44,518.890821817968,702.537410389653,1.99999996676081,6.1737860706628,FALSE,FALSE "INHIBIT","s_11011100",-215.445410923592,44,518.890821847184,702.537410418869,1.99999999597662,6.17378609987861,FALSE,FALSE "INHIBIT","s_10111100",-215.445410919169,44,518.890821838338,702.537410410024,1.99999998713122,6.17378609103321,FALSE,FALSE "INHIBIT","s_01111100",-215.445410928578,44,518.890821857155,702.53741042884,2.00000000594798,6.17378610984997,FALSE,FALSE "INHIBIT","red_blue_only",-215.445410925496,44,518.890821850992,702.537410422677,1.9999999997849,6.17378610368701,FALSE,FALSE "INHIBIT","s_10000010",-215.445410923965,44,518.890821847931,702.537410419616,1.99999999672355,6.17378610062553,FALSE,FALSE "INHIBIT","s_01000010",-215.445410919592,44,518.890821839185,702.53741041087,1.99999998797762,6.17378609187972,FALSE,FALSE "INHIBIT","s_11000010",-215.445410921694,44,518.890821843387,702.537410415072,1.99999999217994,6.17378609608193,FALSE,FALSE "INHIBIT","s_10100010",-215.445410916976,44,518.890821833952,702.537410405637,1.99999998274461,6.17378608664671,FALSE,FALSE "INHIBIT","s_01100010",-215.445410926941,44,518.890821853882,702.537410425567,2.00000000267505,6.17378610657704,FALSE,FALSE "INHIBIT","s_11100010",-215.445410920743,44,518.890821841486,702.537410413171,1.99999999027864,6.17378609418063,FALSE,FALSE "INHIBIT","s_00010010",-215.205604061548,44,518.411208123096,702.057796694781,1.52038627188858,5.69417237579069,FALSE,FALSE "INHIBIT","s_10010010",-215.445410933614,44,518.890821867229,702.537410438914,2.00000001602143,6.17378611992342,FALSE,FALSE "INHIBIT","s_01010010",-215.445410927796,44,518.890821855592,702.537410427277,2.00000000438456,6.17378610828655,FALSE,FALSE "INHIBIT","s_11010010",-215.445410932371,44,518.890821864743,702.537410436428,2.00000001353555,6.17378611743766,FALSE,FALSE "INHIBIT","s_00110010",-215.445410916923,44,518.890821833845,702.537410405531,1.9999999826382,6.17378608654019,FALSE,FALSE "INHIBIT","s_10110010",-215.445410922383,44,518.890821844767,702.537410416452,1.99999999355941,6.1737860974614,FALSE,FALSE "INHIBIT","s_01110010",-215.445410926217,44,518.890821852433,702.537410424118,2.00000000122577,6.17378610512787,FALSE,FALSE "INHIBIT","s_11110010",-215.445410924265,44,518.890821848531,702.537410420216,1.99999999732347,6.17378610122546,FALSE,FALSE "INHIBIT","s_10001010",-215.445410930923,44,518.890821861846,702.537410433531,2.00000001063847,6.17378611454046,FALSE,FALSE "INHIBIT","s_01001010",-215.445410916394,44,518.890821832788,702.537410404473,1.99999998158114,6.17378608548313,FALSE,FALSE "INHIBIT","s_11001010",-215.445410926758,44,518.890821853516,702.537410425201,2.00000000230852,6.17378610621051,FALSE,FALSE "INHIBIT","s_00101010",-215.445410922816,44,518.890821845631,702.537410417316,1.99999999442389,6.17378609832588,FALSE,FALSE "INHIBIT","s_01101010",-215.445410933278,44,518.890821866556,702.537410438242,2.00000001534909,6.17378611925119,FALSE,FALSE "INHIBIT","s_11101010",-215.445410922156,44,518.890821844311,702.537410415997,1.99999999310421,6.17378609700631,FALSE,FALSE "INHIBIT","s_00011010",-215.445410933641,44,518.890821867282,702.537410438967,2.00000001607464,6.17378611997663,FALSE,FALSE "INHIBIT","s_10011010",-215.445410928147,44,518.890821856294,702.537410427979,2.00000000508703,6.17378610898902,FALSE,FALSE "INHIBIT","s_11011010",-215.445410922847,44,518.890821845693,702.537410417379,1.99999999448619,6.17378609838818,FALSE,FALSE "INHIBIT","s_00111010",-215.445410916367,44,518.890821832735,702.53741040442,1.99999998152771,6.17378608542981,FALSE,FALSE "INHIBIT","s_10111010",-215.445410933329,44,518.890821866659,702.537410438344,2.00000001545141,6.17378611935351,FALSE,FALSE "INHIBIT","s_01111010",-215.44541092016,44,518.890821840319,702.537410412004,1.9999999891121,6.17378609301409,FALSE,FALSE "INHIBIT","s_00000110",-215.07745430118,44,518.154908602361,701.801497174046,1.2640867511534,5.4378728550555,FALSE,FALSE "INHIBIT","s_10000110",-215.445410926067,44,518.890821852134,702.537410423819,2.000000000927,6.17378610482911,FALSE,FALSE "INHIBIT","s_01000110",-215.44541092841,44,518.89082185682,702.537410428505,2.00000000561238,6.17378610951437,FALSE,FALSE "INHIBIT","s_11000110",-215.445410925257,44,518.890821850515,702.5374104222,1.99999999930742,6.17378610320952,FALSE,FALSE "INHIBIT","s_00100110",-215.445410923144,44,518.890821846289,702.537410417974,1.99999999508134,6.17378609898333,FALSE,FALSE "INHIBIT","s_10100110",-215.445410930632,44,518.890821861264,702.537410432949,2.00000001005674,6.17378611395884,FALSE,FALSE "INHIBIT","s_11100110",-215.445410918949,44,518.890821837899,702.537410409584,1.99999998669159,6.17378609059369,FALSE,FALSE "INHIBIT","s_00010110",-210.064853769719,44,508.129707539438,691.776296111123,-8.76111431176969,-4.58732820786759,TRUE,TRUE "INHIBIT","EVEN_parity",-215.205599373417,44,518.411198746833,702.057787318518,1.52037689562587,5.69416299952786,FALSE,FALSE "INHIBIT","s_01010110",-215.127612369763,44,518.255224739526,701.901813311211,1.36440288831864,5.53818899222074,FALSE,FALSE "INHIBIT","s_11010110",-215.445410932257,44,518.890821864515,702.5374104362,2.00000001330773,6.17378611720983,FALSE,FALSE "INHIBIT","s_00110110",-215.205560090141,44,518.411120180283,702.057708751968,1.52029832907556,5.69408443297766,FALSE,FALSE "INHIBIT","s_10110110",-215.445410932618,44,518.890821865235,702.53741043692,2.00000001402816,6.17378611793015,FALSE,FALSE "INHIBIT","s_01110110",-215.445410923024,44,518.890821846049,702.537410417734,1.9999999948418,6.1737860987439,FALSE,FALSE "INHIBIT","s_11110110",-215.445410920537,44,518.890821841074,702.537410412759,1.99999998986709,6.17378609376908,FALSE,FALSE "INHIBIT","s_00001110",-213.151287356182,44,514.302574712365,697.94916328405,-2.58824713884258,1.58553896505941,TRUE,FALSE "INHIBIT","s_10001110",-215.445410923153,44,518.890821846306,702.537410417991,1.99999999509896,6.17378609900106,FALSE,FALSE "INHIBIT","s_01001110",-215.430168170279,44,518.860336340559,702.506924912244,1.9695144893517,6.1433005932538,FALSE,FALSE "INHIBIT","s_11001110",-215.445410926266,44,518.890821852531,702.537410424216,2.00000000132377,6.17378610522587,FALSE,FALSE "INHIBIT","s_00101110",-215.445410932959,44,518.890821865917,702.537410437602,2.00000001470994,6.17378611861204,FALSE,FALSE "INHIBIT","s_10101110",-215.445410920511,44,518.890821841023,702.537410412708,1.99999998981571,6.17378609371769,FALSE,FALSE "INHIBIT","s_01101110",-215.445410920848,44,518.890821841697,702.537410413382,1.99999999048941,6.17378609439152,FALSE,FALSE "INHIBIT","s_00011110",-213.700457882762,44,515.400915765524,699.04750433721,-1.48990608568283,2.68388001821927,TRUE,FALSE "INHIBIT","s_10011110",-215.445410923607,44,518.890821847214,702.537410418899,1.99999999600641,6.17378609990851,FALSE,FALSE "INHIBIT","s_01011110",-215.445410918799,44,518.890821837598,702.537410409283,1.99999998639089,6.17378609029288,FALSE,FALSE "INHIBIT","s_11011110",-215.445410933359,44,518.890821866718,702.537410438403,2.00000001551075,6.17378611941285,FALSE,FALSE "INHIBIT","s_00111110",-215.445410925789,44,518.890821851578,702.537410423263,2.00000000037062,6.17378610427261,FALSE,FALSE "INHIBIT","s_10111110",-215.445410928088,44,518.890821856177,702.537410427862,2.00000000496959,6.17378610887158,FALSE,FALSE "INHIBIT","s_01111110",-215.445410918598,44,518.890821837196,702.537410408882,1.99999998598923,6.17378608989134,FALSE,FALSE "INHIBIT","NAND3",-215.445410926829,44,518.890821853657,702.537410425343,2.00000000245018,6.17378610635217,FALSE,FALSE "INHIBIT","AND3",-215.445410928355,44,518.89082185671,702.537410428395,2.00000000550244,6.17378610940455,FALSE,FALSE "INHIBIT","s_10000001",-215.445410921204,44,518.890821842409,702.537410414094,1.99999999120155,6.17378609510365,FALSE,FALSE "INHIBIT","s_01000001",-215.445410917227,44,518.890821834454,702.53741040614,1.99999998324711,6.17378608714921,FALSE,FALSE "INHIBIT","s_11000001",-215.445410920823,44,518.890821841646,702.537410413332,1.99999999043916,6.17378609434127,FALSE,FALSE "INHIBIT","s_00100001",-215.445410920694,44,518.890821841388,702.537410413073,1.99999999018041,6.17378609408252,FALSE,FALSE "INHIBIT","s_10100001",-215.445410924704,44,518.890821849408,702.537410421093,1.99999999820034,6.17378610210244,FALSE,FALSE "INHIBIT","s_01100001",-215.445410927833,44,518.890821855667,702.537410427352,2.00000000445948,6.17378610836158,FALSE,FALSE "INHIBIT","s_11100001",-215.44541093357,44,518.89082186714,702.537410438825,2.00000001593287,6.17378611983486,FALSE,FALSE "INHIBIT","s_10010001",-215.445410927122,44,518.890821854244,702.537410425929,2.00000000303703,6.17378610693913,FALSE,FALSE "INHIBIT","s_01010001",-215.445410921246,44,518.890821842493,702.537410414178,1.99999999128545,6.17378609518755,FALSE,FALSE "INHIBIT","s_11010001",-215.445410919411,44,518.890821838822,702.537410410507,1.99999998761461,6.1737860915166,FALSE,FALSE "INHIBIT","s_00110001",-215.44541093174,44,518.89082186348,702.537410435165,2.00000001227272,6.17378611617482,FALSE,FALSE "INHIBIT","s_10110001",-215.445410922566,44,518.890821845131,702.537410416816,1.99999999392412,6.17378609782611,FALSE,FALSE "INHIBIT","s_01110001",-215.445410919321,44,518.890821838642,702.537410410327,1.99999998743488,6.17378609133686,FALSE,FALSE "INHIBIT","s_11110001",-215.445410919329,44,518.890821838658,702.537410410343,1.99999998745091,6.17378609135289,FALSE,FALSE "INHIBIT","s_00001001",-215.445410922558,44,518.890821845116,702.537410416802,1.99999999390911,6.17378609781122,FALSE,FALSE "INHIBIT","s_10001001",-215.445410925233,44,518.890821850465,702.537410422151,1.99999999925831,6.17378610316041,FALSE,FALSE "INHIBIT","s_01001001",-215.445410933737,44,518.890821867473,702.537410439158,2.00000001626609,6.17378612016807,FALSE,FALSE "INHIBIT","s_11001001",-215.445410932249,44,518.890821864498,702.537410436184,2.00000001329113,6.17378611719323,FALSE,FALSE "INHIBIT","s_00101001",-215.445410920027,44,518.890821840053,702.537410411739,1.9999999888463,6.17378609274829,FALSE,FALSE "INHIBIT","s_10101001",-215.445410921634,44,518.890821843269,702.537410414954,1.99999999206159,6.17378609596358,FALSE,FALSE "INHIBIT","ODD_parity",-215.445410932278,44,518.890821864555,702.53741043624,2.00000001334786,6.17378611724985,FALSE,FALSE "INHIBIT","s_11101001",-215.445410932211,44,518.890821864423,702.537410436108,2.00000001321553,6.17378611711752,FALSE,FALSE "INHIBIT","s_00011001",-215.445410926603,44,518.890821853207,702.537410424892,2.00000000199952,6.17378610590163,FALSE,FALSE "INHIBIT","s_01011001",-215.445410924844,44,518.890821849688,702.537410421374,1.99999999848114,6.17378610238325,FALSE,FALSE "INHIBIT","s_11011001",-215.445410932335,44,518.89082186467,702.537410436355,2.00000001346257,6.17378611736467,FALSE,FALSE "INHIBIT","s_00111001",-215.445410933066,44,518.890821866131,702.537410437817,2.00000001492413,6.17378611882623,FALSE,FALSE "INHIBIT","s_10111001",-215.445410930512,44,518.890821861025,702.53741043271,2.00000000981754,6.17378611371953,FALSE,FALSE "INHIBIT","s_01111001",-215.445410933221,44,518.890821866442,702.537410438127,2.00000001523449,6.17378611913659,FALSE,FALSE "INHIBIT","s_11111001",-215.445410925666,44,518.890821851332,702.537410423017,2.00000000012471,6.1737861040267,FALSE,FALSE "INHIBIT","s_10000101",-215.445410920214,44,518.890821840429,702.537410412114,1.99999998922169,6.17378609312368,FALSE,FALSE "INHIBIT","s_01000101",-207.433325739843,44,502.866651479686,686.513240051371,-14.024170371521,-9.85038426761889,TRUE,TRUE "INHIBIT","s_11000101",-215.445410919145,44,518.890821838291,702.537410409976,1.9999999870837,6.17378609098569,FALSE,FALSE "INHIBIT","s_00100101",-215.44541092262,44,518.890821845239,702.537410416925,1.99999999403212,6.17378609793423,FALSE,FALSE "INHIBIT","s_01100101",-213.918363532789,44,515.836727065579,699.483315637264,-1.05409478562865,3.11969131827345,TRUE,FALSE "INHIBIT","s_11100101",-215.445410917543,44,518.890821835086,702.537410406771,1.99999998387852,6.17378608778063,FALSE,FALSE "INHIBIT","s_00010101",-213.943135513827,44,515.886271027655,699.53285959934,-1.00455082355222,3.16923528034977,TRUE,FALSE "INHIBIT","s_10010101",-215.445410925535,44,518.890821851069,702.537410422754,1.99999999986176,6.17378610376386,FALSE,FALSE "INHIBIT","s_11010101",-215.445410918378,44,518.890821836755,702.53741040844,1.9999999855479,6.17378608944989,FALSE,FALSE "INHIBIT","s_00110101",-215.445410932912,44,518.890821865823,702.537410437508,2.00000001461581,6.17378611851791,FALSE,FALSE "INHIBIT","s_10110101",-215.44541092831,44,518.890821856619,702.537410428304,2.00000000541218,6.17378610931416,FALSE,FALSE "INHIBIT","s_01110101",-214.097189487484,44,516.194378974967,699.840967546653,-0.696442876239871,3.47734322766223,TRUE,FALSE "INHIBIT","s_00001101",-214.126156146312,44,516.252312292625,699.89890086431,-0.638509558582655,3.53527654531945,TRUE,FALSE "INHIBIT","s_10001101",-215.445410930821,44,518.890821861642,702.537410433328,2.00000001043509,6.17378611433719,FALSE,FALSE "INHIBIT","s_01001101",-196.89523586757,44,481.790471735141,665.437060306826,-35.1003501160662,-30.9265640121641,TRUE,TRUE "INHIBIT","s_11001101",-215.445410925049,44,518.890821850098,702.537410421783,1.99999999889064,6.17378610279275,FALSE,FALSE "INHIBIT","s_00101101",-215.445410921513,44,518.890821843026,702.537410414711,1.99999999181864,6.17378609572074,FALSE,FALSE "INHIBIT","s_10101101",-215.445410919285,44,518.890821838571,702.537410410256,1.99999998736348,6.17378609126547,FALSE,FALSE "INHIBIT","s_01101101",-215.445410932144,44,518.890821864289,702.537410435974,2.00000001308138,6.17378611698336,FALSE,FALSE "INHIBIT","s_11101101",-215.445410918776,44,518.890821837552,702.537410409237,1.99999998634439,6.17378609024649,FALSE,FALSE "INHIBIT","s_00011101",-215.445410917308,44,518.890821834615,702.5374104063,1.99999998340786,6.17378608730996,FALSE,FALSE "INHIBIT","s_10011101",-215.445410930115,44,518.89082186023,702.537410431915,2.00000000902264,6.17378611292474,FALSE,FALSE "INHIBIT","s_01011101",-213.682603045909,44,515.365206091818,699.011794663503,-1.52561575938921,2.64817034451289,TRUE,FALSE "INHIBIT","s_00111101",-215.44541092157,44,518.890821843141,702.537410414826,1.99999999193346,6.17378609583557,FALSE,FALSE "INHIBIT","s_10111101",-215.445410929324,44,518.890821858648,702.537410430333,2.00000000744103,6.17378611134313,FALSE,FALSE "INHIBIT","s_01111101",-215.445410918529,44,518.890821837059,702.537410408744,1.99999998585167,6.17378608975366,FALSE,FALSE "INHIBIT","s_11111101",-215.44541092976,44,518.89082185952,702.537410431206,2.00000000831324,6.17378611221534,FALSE,FALSE "INHIBIT","s_10000011",-215.445410929085,44,518.89082185817,702.537410429855,2.00000000696241,6.17378611086451,FALSE,FALSE "INHIBIT","s_01000011",-215.445410924799,44,518.890821849599,702.537410421284,1.99999999839179,6.17378610229378,FALSE,FALSE "INHIBIT","s_00100011",-215.445410929098,44,518.890821858196,702.537410429881,2.00000000698867,6.17378611089066,FALSE,FALSE "INHIBIT","s_10100011",-215.445410922868,44,518.890821845736,702.537410417421,1.99999999452848,6.17378609843058,FALSE,FALSE "INHIBIT","s_01100011",-215.445410925206,44,518.890821850411,702.537410422097,1.99999999920419,6.17378610310629,FALSE,FALSE "INHIBIT","s_11100011",-215.445410929184,44,518.890821858368,702.537410430054,2.00000000716113,6.17378611106324,FALSE,FALSE "INHIBIT","s_00010011",-213.994105525699,44,515.988211051399,699.634799623084,-0.902610799808599,3.2711753040935,TRUE,FALSE "INHIBIT","s_10010011",-215.44541093116,44,518.89082186232,702.537410434005,2.00000001111243,6.17378611501442,FALSE,FALSE "INHIBIT","s_01010011",-215.44541091944,44,518.89082183888,702.537410410565,1.99999998767271,6.17378609157481,FALSE,FALSE "INHIBIT","s_11010011",-215.445410921644,44,518.890821843288,702.537410414973,1.99999999208092,6.1737860959829,FALSE,FALSE "INHIBIT","s_10110011",-215.445410928285,44,518.89082185657,702.537410428255,2.00000000536284,6.17378610926494,FALSE,FALSE "INHIBIT","s_01110011",-215.445410923881,44,518.890821847761,702.537410419447,1.99999999655415,6.17378610045625,FALSE,FALSE "INHIBIT","s_00001011",-215.445410931966,44,518.890821863931,702.537410435616,2.00000001272394,6.17378611662593,FALSE,FALSE "INHIBIT","s_10001011",-215.445410918558,44,518.890821837116,702.537410408801,1.99999998590874,6.17378608981085,FALSE,FALSE "INHIBIT","s_01001011",-215.445410919528,44,518.890821839056,702.537410410741,1.99999998784892,6.17378609175091,FALSE,FALSE "INHIBIT","s_11001011",-215.445410919083,44,518.890821838165,702.537410409851,1.9999999869583,6.17378609086029,FALSE,FALSE "INHIBIT","s_00101011",-215.44541091834,44,518.890821836679,702.537410408364,1.99999998547207,6.17378608937406,FALSE,FALSE "INHIBIT","s_10101011",-215.445410929708,44,518.890821859415,702.5374104311,2.00000000820808,6.17378611211007,FALSE,FALSE "INHIBIT","s_01101011",-215.445410924169,44,518.890821848338,702.537410420024,1.99999999713123,6.17378610103333,FALSE,FALSE "INHIBIT","s_11101011",-215.445410919863,44,518.890821839726,702.537410411411,1.99999998851831,6.17378609242041,FALSE,FALSE "INHIBIT","s_00011011",-215.445410921956,44,518.890821843913,702.537410415598,1.99999999270574,6.17378609660773,FALSE,FALSE "INHIBIT","s_10011011",-215.445410925287,44,518.890821850575,702.53741042226,1.99999999936756,6.17378610326955,FALSE,FALSE "INHIBIT","s_01011011",-215.445410928141,44,518.890821856283,702.537410427968,2.00000000507532,6.17378610897731,FALSE,FALSE "INHIBIT","s_11011011",-215.445410926019,44,518.890821852037,702.537410423723,2.00000000083014,6.17378610473224,FALSE,FALSE "INHIBIT","s_00111011",-215.445410933737,44,518.890821867473,702.537410439158,2.00000001626609,6.17378612016807,FALSE,FALSE "INHIBIT","s_01111011",-215.445410924188,44,518.890821848375,702.537410420061,1.99999999716829,6.17378610107028,FALSE,FALSE "INHIBIT","s_11111011",-215.445410918593,44,518.890821837187,702.537410408872,1.9999999859798,6.17378608988179,FALSE,FALSE "INHIBIT","s_00000111",-213.578928419283,44,515.157856838566,698.804445410251,-1.73296501264144,2.44082109126055,TRUE,FALSE "INHIBIT","s_10000111",-215.445410922451,44,518.890821844902,702.537410416587,1.99999999369493,6.17378609759692,FALSE,FALSE "INHIBIT","s_01000111",-213.863906436208,44,515.727812872416,699.374401444101,-1.16300897879148,3.01077712511051,TRUE,FALSE "INHIBIT","s_11000111",-215.445410918795,44,518.89082183759,702.537410409275,1.99999998638282,6.17378609028481,FALSE,FALSE "INHIBIT","s_00100111",-215.445410916783,44,518.890821833566,702.537410405252,1.99999998235921,6.17378608626132,FALSE,FALSE "INHIBIT","s_10100111",-215.445410921575,44,518.890821843149,702.537410414835,1.99999999194222,6.17378609584421,FALSE,FALSE "INHIBIT","s_01100111",-215.445410931136,44,518.890821862272,702.537410433958,2.00000001106525,6.17378611496724,FALSE,FALSE "INHIBIT","s_11100111",-215.445410922962,44,518.890821845925,702.53741041761,1.99999999471743,6.17378609861953,FALSE,FALSE "INHIBIT","majority",-205.953180485215,44,499.90636097043,683.552949542115,-16.9844608807772,-12.8106747768752,TRUE,TRUE "INHIBIT","s_10010111",-213.993583159585,44,515.987166319169,699.633754890855,-0.903655532037874,3.27013057186423,TRUE,FALSE "INHIBIT","s_01010111",-211.04359954577,44,510.08719909154,693.733787663225,-6.80362275966758,-2.62983665576553,TRUE,TRUE "INHIBIT","s_11010111",-215.445410925875,44,518.89082185175,702.537410423436,2.0000000005432,6.17378610444518,FALSE,FALSE "INHIBIT","s_00110111",-213.988479831703,44,515.976959663407,699.623548235092,-0.913862187800532,3.25992391610157,TRUE,FALSE "INHIBIT","s_10110111",-215.445410931378,44,518.890821862756,702.537410434441,2.00000001154842,6.17378611545041,FALSE,FALSE "INHIBIT","s_11110111",-215.445410926552,44,518.890821853104,702.537410424789,2.00000000189675,6.17378610579874,FALSE,FALSE "INHIBIT","s_10001111",-215.44541093029,44,518.890821860581,702.537410432266,2.00000000937337,6.17378611327536,FALSE,FALSE "INHIBIT","s_01001111",-205.619691176914,44,499.239382353828,682.885970925513,-17.6514394973792,-13.4776533934771,TRUE,TRUE "INHIBIT","s_00101111",-215.445410921831,44,518.890821843661,702.537410415346,1.99999999245392,6.17378609635603,FALSE,FALSE "INHIBIT","s_01101111",-215.445410932841,44,518.890821865682,702.537410437367,2.00000001447506,6.17378611837717,FALSE,FALSE "INHIBIT","s_11101111",-215.44541092898,44,518.890821857959,702.537410429644,2.00000000675197,6.17378611065396,FALSE,FALSE "INHIBIT","s_00011111",-213.858218118566,44,515.716436237132,699.363024808817,-1.17438561407516,2.99940048982694,TRUE,FALSE "INHIBIT","s_10011111",-215.445410928285,44,518.890821856569,702.537410428254,2.00000000536193,6.17378610926392,FALSE,FALSE "INHIBIT","s_11011111",-215.445410918119,44,518.890821836239,702.537410407924,1.99999998503165,6.17378608893364,FALSE,FALSE "INHIBIT","s_10111111",-215.445410924303,44,518.890821848606,702.537410420292,1.9999999973993,6.1737861013014,FALSE,FALSE "INHIBIT","OR3",-215.44541092945,44,518.890821858901,702.537410430586,2.00000000769364,6.17378611159575,FALSE,FALSE "JOINT","NOR3",-254.10344858486,44,596.20689716972,779.853485741405,1.99201314864672,6.1657992525486,FALSE,FALSE "JOINT","green_alone",-254.107441278974,44,596.214882557948,779.861471129633,1.99999853687507,6.17378464077694,FALSE,FALSE "JOINT","blue_alone",-254.103474538227,44,596.206949076454,779.853537648139,1.99206505538075,6.16585115928262,FALSE,FALSE "JOINT","s_01100000",-252.861337728038,44,593.722675456076,777.369264027761,-0.4922085649971,3.68157753890489,TRUE,FALSE "JOINT","s_11100000",-254.10749640433,44,596.214992808661,779.861581380346,2.00010878758769,6.17389489148957,FALSE,FALSE "JOINT","blue_green_only",-254.10343346547,44,596.206866930939,779.853455502624,1.99198290986601,6.165769013768,FALSE,FALSE "JOINT","s_10010000",-254.107488033043,44,596.214976066086,779.861564637771,2.00009204501271,6.1738781489147,FALSE,FALSE "JOINT","s_11010000",-254.10343730545,44,596.2068746109,779.853463182585,1.99199058982708,6.16577669372896,FALSE,FALSE "JOINT","s_10110000",-254.103433459417,44,596.206866918835,779.85345549052,1.991982897762,6.16576900166388,FALSE,FALSE "JOINT","s_01110000",-253.736800182582,44,595.473600365163,779.120188936848,1.2587163440902,5.43250244799208,FALSE,FALSE "JOINT","red_alone",-254.103433464837,44,596.206866929674,779.853455501359,1.99198290860124,6.16576901250312,FALSE,FALSE "JOINT","s_01001000",-252.953730667323,44,593.907461334646,777.554049906331,-0.307422686426889,3.86636341747499,TRUE,FALSE "JOINT","s_11001000",-254.107442359942,44,596.214884719884,779.86147329157,2.00000069881139,6.17378680271338,FALSE,FALSE "JOINT","s_00101000",-252.948304645661,44,593.896609291323,777.543197863008,-0.318274729750101,3.85551137415177,TRUE,FALSE "JOINT","s_10101000",-254.107441266044,44,596.214882532087,779.861471103773,1.99999851101438,6.17378461491637,FALSE,FALSE "JOINT","s_01101000",-249.638689051083,44,587.277378102166,770.923966673852,-6.93750591890648,-2.76371981500449,TRUE,TRUE "JOINT","minority",-252.950194848919,44,593.900389697839,777.546978269524,-0.314494323234044,3.85929178066783,TRUE,FALSE "JOINT","s_00011000",-254.103433464925,44,596.206866929851,779.853455501536,1.9919829087778,6.16576901267979,FALSE,FALSE "JOINT","s_10011000",-254.10747066831,44,596.214941336621,779.861529908306,2.00005731554779,6.17384341944978,FALSE,FALSE "JOINT","s_01011000",-254.103436747107,44,596.206873494215,779.8534620659,1.99198947314198,6.16577557704397,FALSE,FALSE "JOINT","s_11011000",-254.103433451832,44,596.206866903663,779.853455475349,1.99198288259049,6.16576898649248,FALSE,FALSE "JOINT","s_00111000",-254.103433460681,44,596.206866921362,779.853455493047,1.99198290028903,6.16576900419102,FALSE,FALSE "JOINT","s_10111000",-254.103697179686,44,596.207394359372,779.853982931057,1.99251033829853,6.16629644220041,FALSE,FALSE "JOINT","s_01111000",-252.879906318734,44,593.759812637468,777.406401209153,-0.455071383605059,3.71871472029682,TRUE,FALSE "JOINT","s_11111000",-254.107444156693,44,596.214888313386,779.861476885071,2.00000429231295,6.17379039621494,FALSE,FALSE "JOINT","red_green_only",-254.103433692728,44,596.206867385455,779.853455957141,1.99198336438246,6.16576946828434,FALSE,FALSE "JOINT","s_10000100",-254.103490814968,44,596.206981629936,779.853570201621,1.99209760886311,6.16588371276509,FALSE,FALSE "JOINT","s_11000100",-254.103473863083,44,596.206947726166,779.853536297851,1.9920637050933,6.16584980899518,FALSE,FALSE "JOINT","s_00100100",-254.103434621566,44,596.206869243131,779.853457814817,1.99198522205847,6.16577132596046,FALSE,FALSE "JOINT","s_10100100",-254.10343347146,44,596.20686694292,779.853455514606,1.99198292184747,6.16576902574934,FALSE,FALSE "JOINT","s_01100100",-254.107441264497,44,596.214882528995,779.86147110068,1.99999850792187,6.17378461182375,FALSE,FALSE "JOINT","s_11100100",-254.103452266002,44,596.206904532004,779.853493103689,1.99202051093062,6.16580661483249,FALSE,FALSE "JOINT","s_00010100",-254.103433452105,44,596.20686690421,779.853455475896,1.99198288313733,6.16576898703931,FALSE,FALSE "JOINT","s_10010100",-254.103446995604,44,596.206893991209,779.853482562894,1.99200997013554,6.16579607403753,FALSE,FALSE "JOINT","s_01010100",-254.10343346533,44,596.20686693066,779.853455502345,1.9919829095868,6.16576901348878,FALSE,FALSE "JOINT","s_11010100",-254.114196390751,44,596.228392781503,779.874981353188,2.01350876042966,6.18729486433165,FALSE,FALSE "JOINT","s_00110100",-254.103433467346,44,596.206866934693,779.853455506378,1.99198291361995,6.16576901752194,FALSE,FALSE "JOINT","s_10110100",-254.103433944736,44,596.206867889472,779.853456461158,1.99198386839942,6.16576997230129,FALSE,FALSE "JOINT","s_01110100",-254.103606788166,44,596.207213576332,779.853802148017,1.99232955525929,6.16611565916116,FALSE,FALSE "JOINT","s_11110100",-254.10344359584,44,596.206887191681,779.853475763366,1.99200317060797,6.16578927450985,FALSE,FALSE "JOINT","s_10001100",-254.103490753941,44,596.206981507882,779.853570079567,1.99209748680914,6.16588359071102,FALSE,FALSE "JOINT","s_01001100",-254.103454543384,44,596.206909086768,779.853497658453,1.99202506569486,6.16581116959685,FALSE,FALSE "JOINT","s_00101100",-254.103465209674,44,596.206930419348,779.853518991033,1.99204639827531,6.16583250217718,FALSE,FALSE "JOINT","s_10101100",-254.103433470404,44,596.206866940807,779.853455512492,1.99198291973403,6.16576902363602,FALSE,FALSE "JOINT","s_01101100",-252.951559938094,44,593.903119876188,777.549708447873,-0.31176414488516,3.86202195901672,TRUE,FALSE "JOINT","s_11101100",-254.103620603136,44,596.207241206272,779.853829777957,1.9923571851989,6.16614328910089,FALSE,FALSE "JOINT","s_00011100",-254.103722906665,44,596.207445813331,779.854034385016,1.99256179225767,6.16634789615955,FALSE,FALSE "JOINT","s_10011100",-254.103446410675,44,596.20689282135,779.853481393035,1.99200880027684,6.16579490417882,FALSE,FALSE "JOINT","s_01011100",-254.103444838006,44,596.206889676013,779.853478247698,1.9920056549397,6.16579175884158,FALSE,FALSE "JOINT","s_11011100",-254.103433446767,44,596.206866893533,779.853455465219,1.99198287246043,6.1657689763623,FALSE,FALSE "JOINT","s_10111100",-254.103433451086,44,596.206866902172,779.853455473858,1.99198288109937,6.16576898500136,FALSE,FALSE "JOINT","s_01111100",-254.103459338238,44,596.206918676475,779.85350724816,1.99203465540199,6.16582075930398,FALSE,FALSE "JOINT","red_blue_only",-254.103433856384,44,596.206867712769,779.853456284454,1.99198369169574,6.16576979559761,FALSE,FALSE "JOINT","s_10000010",-254.108356888007,44,596.216713776014,779.8633023477,2.00182975494147,6.17561585884334,FALSE,FALSE "JOINT","s_01000010",-254.107441275013,44,596.214882550025,779.86147112171,1.99999852895212,6.17378463285411,FALSE,FALSE "JOINT","s_11000010",-254.103508823052,44,596.207017646103,779.853606217788,1.99213362503031,6.16591972893218,FALSE,FALSE "JOINT","s_10100010",-254.103438610807,44,596.206877221614,779.853465793299,1.99199320054083,6.16577930444271,FALSE,FALSE "JOINT","s_01100010",-254.103433449129,44,596.206866898257,779.853455469942,1.991982877184,6.16576898108599,FALSE,FALSE "JOINT","s_11100010",-254.103435868927,44,596.206871737854,779.853460309539,1.9919877167813,6.16577382068317,FALSE,FALSE "JOINT","s_00010010",-254.103620472217,44,596.207240944434,779.853829516119,1.99235692336106,6.16614302726305,FALSE,FALSE "JOINT","s_10010010",-254.103433464623,44,596.206866929246,779.853455500931,1.99198290817276,6.16576901207475,FALSE,FALSE "JOINT","s_01010010",-254.107485046479,44,596.214970092958,779.861558664643,2.00008607188533,6.17387217578721,FALSE,FALSE "JOINT","s_11010010",-254.103433466637,44,596.206866933274,779.853455504959,1.99198291220091,6.1657690161029,FALSE,FALSE "JOINT","s_00110010",-254.107485102563,44,596.214970205127,779.861558776812,2.00008618405354,6.17387228795553,FALSE,FALSE "JOINT","s_10110010",-254.103437607597,44,596.206875215194,779.853463786879,1.99199119412083,6.16577729802282,FALSE,FALSE "JOINT","s_01110010",-254.103433450147,44,596.206866900295,779.85345547198,1.99198287922172,6.16576898312371,FALSE,FALSE "JOINT","s_11110010",-254.103433469036,44,596.206866938072,779.853455509758,1.9919829169994,6.16576902090139,FALSE,FALSE "JOINT","s_10001010",-254.103443781835,44,596.20688756367,779.853476135355,1.99200354259665,6.16578964649852,FALSE,FALSE "JOINT","s_01001010",-254.10744129051,44,596.21488258102,779.861471152705,1.99999855994724,6.17378466384923,FALSE,FALSE "JOINT","s_11001010",-254.107475641866,44,596.214951283732,779.861539855418,2.0000672626594,6.17385336656127,FALSE,FALSE "JOINT","s_00101010",-254.103436579069,44,596.206873158137,779.853461729822,1.99198913706425,6.16577524096613,FALSE,FALSE "JOINT","s_01101010",-252.932874240863,44,593.865748481727,777.512337053412,-0.349135539346435,3.82465056455555,TRUE,FALSE "JOINT","s_11101010",-254.103433455673,44,596.206866911347,779.853455483032,1.99198289027379,6.16576899417566,FALSE,FALSE "JOINT","s_00011010",-254.106174828388,44,596.212349656775,779.85893822846,1.99746563570227,6.17125173960414,FALSE,FALSE "JOINT","s_10011010",-254.114196402679,44,596.228392805357,779.874981377043,2.01350878428445,6.18729488818633,FALSE,FALSE "JOINT","s_11011010",-254.114196169617,44,596.228392339234,779.874980910919,2.01350831816058,6.18729442206256,FALSE,FALSE "JOINT","s_00111010",-254.103433468263,44,596.206866936526,779.853455508211,1.99198291545326,6.16576901935525,FALSE,FALSE "JOINT","s_10111010",-254.103451658308,44,596.206903316615,779.8534918883,1.99201929554204,6.16580539944391,FALSE,FALSE "JOINT","s_01111010",-254.103433467961,44,596.206866935923,779.853455507608,1.99198291484959,6.16576901875158,FALSE,FALSE "JOINT","s_00000110",-254.103433453183,44,596.206866906366,779.853455478051,1.9919828852926,6.16576898919459,FALSE,FALSE "JOINT","s_10000110",-254.103433468435,44,596.20686693687,779.853455508555,1.99198291579728,6.16576901969916,FALSE,FALSE "JOINT","s_01000110",-254.103442969769,44,596.206885939537,779.853474511222,1.99200191846433,6.1657880223662,FALSE,FALSE "JOINT","s_11000110",-254.103434249801,44,596.206868499602,779.853457071287,1.99198447852939,6.16577058243126,FALSE,FALSE "JOINT","s_00100110",-254.111142180144,44,596.222284360289,779.868872931974,2.00740033921579,6.18118644311778,FALSE,FALSE "JOINT","s_10100110",-254.103548210893,44,596.207096421785,779.853684993471,1.99221240071245,6.16599850461432,FALSE,FALSE "JOINT","s_11100110",-254.103433611291,44,596.206867222582,779.853455794267,1.99198320150867,6.16576930541066,FALSE,FALSE "JOINT","s_00010110",-252.318821875784,44,592.637643751568,776.284232323254,-1.5772402695045,2.59654583439738,TRUE,FALSE "JOINT","EVEN_parity",-254.103737877863,44,596.207475755725,779.85406432741,1.99259173465202,6.16637783855401,FALSE,FALSE "JOINT","s_01010110",-254.103433465504,44,596.206866931008,779.853455502693,1.99198290993456,6.16576901383644,FALSE,FALSE "JOINT","s_11010110",-254.03799156533,44,596.075983130661,779.722571702346,1.86109910958771,6.0348852134897,FALSE,FALSE "JOINT","s_00110110",-254.103433468822,44,596.206866937643,779.853455509328,1.99198291657012,6.165769020472,FALSE,FALSE "JOINT","s_10110110",-254.019919059022,44,596.039838118045,779.68642668973,1.82495409697162,5.9987402008735,FALSE,FALSE "JOINT","s_01110110",-254.103457717572,44,596.206915435145,779.85350400683,1.99203141407179,6.16581751797378,FALSE,FALSE "JOINT","s_11110110",-253.955043926048,44,595.910087852097,779.556676423782,1.69520383102372,5.86898993492571,FALSE,FALSE "JOINT","s_00001110",-254.107445471991,44,596.214890943981,779.861479515666,2.00000692290837,6.17379302681024,FALSE,FALSE "JOINT","s_10001110",-254.103434440426,44,596.206868880853,779.853457452538,1.99198485978002,6.16577096368189,FALSE,FALSE "JOINT","s_01001110",-254.107442729235,44,596.214885458471,779.861474030156,2.00000143739794,6.17378754129993,FALSE,FALSE "JOINT","s_11001110",-254.103433451486,44,596.206866902972,779.853455474657,1.99198288189928,6.16576898580126,FALSE,FALSE "JOINT","s_00101110",-254.103471540739,44,596.206943081479,779.853531653164,1.99205906040595,6.16584516430783,FALSE,FALSE "JOINT","s_10101110",-254.107441270018,44,596.214882540036,779.861471111721,1.99999851896268,6.17378462286467,FALSE,FALSE "JOINT","s_01101110",-254.114196150765,44,596.228392301529,779.874980873214,2.01350828045611,6.18729438435798,FALSE,FALSE "JOINT","s_00011110",-254.10343682688,44,596.20687365376,779.853462225445,1.99198963268691,6.1657757365889,FALSE,FALSE "JOINT","s_10011110",-254.103440835536,44,596.206881671071,779.853470242757,1.99199764999844,6.16578375390043,FALSE,FALSE "JOINT","s_01011110",-254.103436414179,44,596.206872828359,779.853461400044,1.99198880728568,6.16577491118767,FALSE,FALSE "JOINT","s_11011110",-254.103433449786,44,596.206866899573,779.853455471258,1.9919828784997,6.16576898240157,FALSE,FALSE "JOINT","s_00111110",-254.103445032808,44,596.206890065616,779.853478637301,1.99200604454313,6.16579214844512,FALSE,FALSE "JOINT","s_10111110",-254.103433454943,44,596.206866909886,779.853455481571,1.99198288881325,6.16576899271524,FALSE,FALSE "JOINT","s_01111110",-254.106392376359,44,596.212784752718,779.859373324403,1.99790073164468,6.17168683554667,FALSE,FALSE "JOINT","NAND3",-254.103433448681,44,596.206866897361,779.853455469046,1.99198287628815,6.16576898019014,FALSE,FALSE "JOINT","AND3",-254.103433471466,44,596.206866942932,779.853455514617,1.99198292185906,6.16576902576105,FALSE,FALSE "JOINT","s_10000001",-254.103433460744,44,596.206866921488,779.853455493173,1.99198290041477,6.16576900431664,FALSE,FALSE "JOINT","s_01000001",-252.580685470754,44,593.161370941509,776.807959513194,-1.05351307956403,3.12027302433785,TRUE,FALSE "JOINT","s_11000001",-253.652871049581,44,595.305742099162,778.952330670847,1.09085807808924,5.26464418199123,FALSE,FALSE "JOINT","s_00100001",-252.681279114182,44,593.362558228365,777.00914680005,-0.85232579270837,3.3214603111935,TRUE,FALSE "JOINT","s_10100001",-254.103433451503,44,596.206866903005,779.85345547469,1.99198288193224,6.16576898583412,FALSE,FALSE "JOINT","s_01100001",-248.000160849343,44,584.000321698686,767.646910270371,-10.2145623223871,-6.04077621848512,TRUE,TRUE "JOINT","s_11100001",-251.307626413424,44,590.615252826849,774.261841398534,-3.59963119422446,0.574154909677532,TRUE,FALSE "JOINT","s_10010001",-254.103435039281,44,596.206870078563,779.853458650248,1.99198605748961,6.1657721613916,FALSE,FALSE "JOINT","s_01010001",-253.426483352616,44,594.852966705231,778.499555276916,0.638082684158121,4.81186878806,FALSE,FALSE "JOINT","s_11010001",-253.556147589942,44,595.112295179885,778.75888375157,0.897411158811565,5.07119726271344,FALSE,FALSE "JOINT","s_00110001",-253.373727236792,44,594.747454473583,778.394043045269,0.532570452510413,4.70635655641229,FALSE,FALSE "JOINT","s_10110001",-254.10751808306,44,596.21503616612,779.861624737806,2.00015214504742,6.1739382489493,FALSE,FALSE "JOINT","s_01110001",-247.761287337405,44,583.52257467481,767.169163246495,-10.6923093462634,-6.51852324236154,TRUE,TRUE "JOINT","s_11110001",-252.170875773439,44,592.341751546879,775.988340118564,-1.87313247419422,2.30065362970765,TRUE,FALSE "JOINT","s_00001001",-252.773153903262,44,593.546307806523,777.192896378208,-0.66857621454983,3.50520988935205,TRUE,FALSE "JOINT","s_10001001",-254.107447025758,44,596.214894051516,779.861482623201,2.00001003044326,6.17379613434514,FALSE,FALSE "JOINT","s_01001001",-249.626833611151,44,587.253667222302,770.900255793987,-6.96121679877069,-2.78743069486882,TRUE,TRUE "JOINT","s_11001001",-252.852477336712,44,593.704954673424,777.351543245109,-0.509929347648949,3.66385675625304,TRUE,FALSE "JOINT","s_00101001",-249.463957284203,44,586.927914568406,770.574503140091,-7.28696945266734,-3.11318334876535,TRUE,TRUE "JOINT","s_10101001",-252.945028199053,44,593.890056398105,777.536644969791,-0.324827622967632,3.84895848093436,TRUE,FALSE "JOINT","ODD_parity",-246.150844340873,44,580.301688681746,763.948277253431,-13.913195339327,-9.73940923542511,TRUE,TRUE "JOINT","s_11101001",-249.555910180546,44,587.111820361092,770.758408932777,-7.10306365998144,-2.92927755607957,TRUE,TRUE "JOINT","s_00011001",-254.114196397209,44,596.228392794419,779.874981366104,2.01350877334596,6.18729487724784,FALSE,FALSE "JOINT","s_01011001",-252.834372320904,44,593.668744641809,777.315333213494,-0.546139379264332,3.62764672463766,TRUE,FALSE "JOINT","s_11011001",-254.103433467706,44,596.206866935412,779.853455507097,1.99198291433856,6.16576901824044,FALSE,FALSE "JOINT","s_00111001",-252.68938792693,44,593.378775853859,777.025364425545,-0.836108167213524,3.33767793668846,TRUE,FALSE "JOINT","s_10111001",-254.103433817767,44,596.206867635534,779.853456207219,1.99198361446065,6.16576971836264,FALSE,FALSE "JOINT","s_01111001",-248.165198630052,44,584.330397260103,767.976985831788,-9.88448676096982,-5.71070065706783,TRUE,TRUE "JOINT","s_11111001",-252.771469237754,44,593.542938475508,777.189527047193,-0.671945545564995,3.50184055833699,TRUE,FALSE "JOINT","s_10000101",-254.103435018435,44,596.20687003687,779.853458608555,1.99198601579712,6.165772119699,FALSE,FALSE "JOINT","s_01000101",-254.103433446654,44,596.206866893308,779.853455464993,1.99198287223476,6.16576897613663,FALSE,FALSE "JOINT","s_11000101",-254.11419538854,44,596.228390777079,779.874979348765,2.01350675600634,6.18729285990833,FALSE,FALSE "JOINT","s_00100101",-253.026693231602,44,594.053386463204,777.699975034889,-0.161497557869325,4.01228854603255,TRUE,FALSE "JOINT","s_01100101",-252.597672537849,44,593.195345075698,776.841933647383,-1.01953894537496,3.15424715852703,TRUE,FALSE "JOINT","s_11100101",-254.107553415988,44,596.215106831975,779.861695403661,2.00022281090241,6.17400891480429,FALSE,FALSE "JOINT","s_00010101",-251.135234646235,44,590.270469292469,773.917057864154,-3.94441472860376,0.229371375298115,TRUE,FALSE "JOINT","s_10010101",-254.103433470572,44,596.206866941144,779.853455512829,1.99198292007077,6.16576902397276,FALSE,FALSE "JOINT","s_11010101",-254.002606165783,44,596.005212331567,779.651800903252,1.79032831049369,5.96411441439557,FALSE,FALSE "JOINT","s_00110101",-252.53011321259,44,593.060226425181,776.706814996866,-1.15465759589233,3.01912850800966,TRUE,FALSE "JOINT","s_10110101",-254.107451857227,44,596.214903714454,779.861492286139,2.00001969338109,6.17380579728297,FALSE,FALSE "JOINT","s_01110101",-253.232775966928,44,594.465551933857,778.112140505542,0.250667912783911,4.4244540166859,FALSE,FALSE "JOINT","s_00001101",-254.103433470107,44,596.206866940213,779.853455511899,1.99198291914036,6.16576902304234,FALSE,FALSE "JOINT","s_10001101",-254.107444335503,44,596.214888671006,779.861477242691,2.00000464993286,6.17379075383474,FALSE,FALSE "JOINT","s_01001101",-252.84869013894,44,593.697380277879,777.343968849564,-0.517503743193856,3.65628236070813,TRUE,FALSE "JOINT","s_11001101",-254.103433469578,44,596.206866939157,779.853455510842,1.99198291808386,6.16576902198574,FALSE,FALSE "JOINT","s_00101101",-252.688451670976,44,593.376903341952,777.023491913637,-0.83798067912096,3.33580542478092,TRUE,FALSE "JOINT","s_10101101",-254.10744835762,44,596.214896715239,779.861485286924,2.00001269416612,6.17379879806811,FALSE,FALSE "JOINT","s_01101101",-249.566022963984,44,587.132045927968,770.778634499653,-7.08283809310535,-2.90905198920348,TRUE,TRUE "JOINT","s_11101101",-252.93165451839,44,593.863309036779,777.509897608465,-0.35157498429362,3.82221111960837,TRUE,FALSE "JOINT","s_00011101",-254.107441258677,44,596.214882517355,779.86147108904,1.99999849628193,6.17378460018392,FALSE,FALSE "JOINT","s_10011101",-254.103433447431,44,596.206866894863,779.853455466548,1.99198287378977,6.16576897769164,FALSE,FALSE "JOINT","s_01011101",-254.103433450403,44,596.206866900806,779.853455472492,1.99198287973331,6.1657689836353,FALSE,FALSE "JOINT","s_00111101",-254.107441255028,44,596.214882510056,779.861471081741,1.99999848898256,6.17378459288454,FALSE,FALSE "JOINT","s_10111101",-254.103433464715,44,596.20686692943,779.853455501116,1.9919829083575,6.16576901225937,FALSE,FALSE "JOINT","s_01111101",-252.783886943385,44,593.567773886769,777.214362458455,-0.647110134303489,3.52667596959839,TRUE,FALSE "JOINT","s_11111101",-254.103433446865,44,596.206866893731,779.853455465416,1.99198287265779,6.16576897655966,FALSE,FALSE "JOINT","s_10000011",-253.389157535799,44,594.778315071599,778.424903643284,0.563431050525992,4.73721715442787,FALSE,FALSE "JOINT","s_01000011",-252.321394495693,44,592.642788991385,776.289377563071,-1.57209502968749,2.6016910742145,TRUE,FALSE "JOINT","s_00100011",-254.103436305008,44,596.206872610017,779.853461181702,1.99198858894374,6.16577469284573,FALSE,FALSE "JOINT","s_10100011",-254.103434722233,44,596.206869444467,779.853458016152,1.991985423394,6.16577152729599,FALSE,FALSE "JOINT","s_01100011",-252.687404887998,44,593.374809775996,777.021398347681,-0.840074245076721,3.33371185882515,TRUE,FALSE "JOINT","s_11100011",-254.103433467985,44,596.206866935969,779.853455507655,1.99198291489643,6.16576901879841,FALSE,FALSE "JOINT","s_00010011",-245.9494418686,44,579.8988837372,763.545472308885,-14.3160002838732,-10.1422141799713,TRUE,TRUE "JOINT","s_10010011",-251.996851189928,44,591.993702379857,775.640290951542,-2.22118164121628,1.9526044626856,TRUE,FALSE "JOINT","s_01010011",-251.3224074361,44,590.644814872199,774.291403443884,-3.57006914887393,0.603716955028062,TRUE,FALSE "JOINT","s_11010011",-251.374957287424,44,590.749914574847,774.396503146533,-3.4649694462255,0.70881665767638,TRUE,FALSE "JOINT","s_10110011",-254.103434261987,44,596.206868523974,779.853457095659,1.99198450290112,6.16577060680299,FALSE,FALSE "JOINT","s_01110011",-253.492853407614,44,594.985706815228,778.632295386914,0.770822794155492,4.94460889805748,FALSE,FALSE "JOINT","s_00001011",-253.066336268198,44,594.132672536396,777.779261108081,-0.0822114846766908,4.09157461922518,TRUE,FALSE "JOINT","s_10001011",-254.10347967388,44,596.20695934776,779.853547919445,1.9920753266872,6.16586143058919,FALSE,FALSE "JOINT","s_01001011",-252.571897894868,44,593.143795789736,776.790384361421,-1.07108823133717,3.10269787256482,TRUE,FALSE "JOINT","s_11001011",-254.103434393384,44,596.206868786767,779.853457358452,1.99198476569427,6.16577086959626,FALSE,FALSE "JOINT","s_00101011",-250.786279699815,44,589.572559399631,773.219147971316,-4.64232462144219,-0.468538517540196,TRUE,TRUE "JOINT","s_10101011",-254.103434257042,44,596.206868514085,779.85345708577,1.99198449301173,6.1657705969136,FALSE,FALSE "JOINT","s_01101011",-249.470836800259,44,586.941673600517,770.588262172202,-7.27321042055587,-3.09942431665388,TRUE,TRUE "JOINT","s_11101011",-252.942926252863,44,593.885852505727,777.532441077412,-0.329031515346287,3.8447545885557,TRUE,FALSE "JOINT","s_00011011",-251.464690169347,44,590.929380338694,774.575968910379,-3.28550368237893,0.888282421522945,TRUE,FALSE "JOINT","s_10011011",-254.107503570482,44,596.215007140964,779.861595712649,2.00012311989053,6.17390922379252,FALSE,FALSE "JOINT","s_01011011",-254.103433454017,44,596.206866908034,779.85345547972,1.99198288696141,6.16576899086328,FALSE,FALSE "JOINT","s_11011011",-254.107441267719,44,596.214882535439,779.861471107124,1.99999851436564,6.17378461826763,FALSE,FALSE "JOINT","s_00111011",-253.084868229676,44,594.169736459352,777.816325031037,-0.0451475617211372,4.12863854218074,TRUE,FALSE "JOINT","s_01111011",-252.66902118041,44,593.33804236082,776.984630932505,-0.876841660252921,3.29694444364895,TRUE,FALSE "JOINT","s_11111011",-254.103434285888,44,596.206868571777,779.853457143462,1.99198455070405,6.16577065460592,FALSE,FALSE "JOINT","s_00000111",-251.453981781908,44,590.907963563816,774.554552135501,-3.30692045725732,0.866865646644669,TRUE,FALSE "JOINT","s_10000111",-254.103435156938,44,596.206870313877,779.853458885562,1.99198629280386,6.16577239670585,FALSE,FALSE "JOINT","s_01000111",-253.715127853542,44,595.430255707084,779.07684427877,1.21537168601139,5.38915778991338,FALSE,FALSE "JOINT","s_11000111",-252.447130452275,44,592.89426090455,776.540849476235,-1.32062311652317,2.85316298737882,TRUE,FALSE "JOINT","s_00100111",-252.976967139115,44,593.95393427823,777.600522849915,-0.260949742842854,3.91283636105902,TRUE,FALSE "JOINT","s_10100111",-254.103433452831,44,596.206866905662,779.853455477348,1.99198288458933,6.16576898849132,FALSE,FALSE "JOINT","s_01100111",-254.103441641549,44,596.206883283099,779.853471854784,1.99199926202584,6.16578536592772,FALSE,FALSE "JOINT","s_11100111",-254.106271272422,44,596.212542544845,779.85913111653,1.99765852377175,6.17144462767362,FALSE,FALSE "JOINT","majority",-238.099661125444,44,564.199322250887,747.845910822573,-30.0155617701855,-25.8417756662835,TRUE,TRUE "JOINT","s_10010111",-246.476998864682,44,580.953997729364,764.600586301049,-13.2608862917091,-9.0871001878071,TRUE,TRUE "JOINT","s_01010111",-243.800130887404,44,575.600261774808,759.246850346493,-18.6146222462646,-14.4408361423627,TRUE,TRUE "JOINT","s_11010111",-247.577801113391,44,583.155602226782,766.802190798467,-11.0592817942909,-6.88549569038901,TRUE,TRUE "JOINT","s_00110111",-245.991790030976,44,579.983580061953,763.630168633638,-14.2313039591199,-10.0575178552181,TRUE,TRUE "JOINT","s_10110111",-251.681938336457,44,591.363876672913,775.010465244598,-2.8510073481599,1.32277875574198,TRUE,FALSE "JOINT","s_11110111",-249.475111496482,44,586.950222992964,770.596811564649,-7.26466102810866,-3.09087492420679,TRUE,TRUE "JOINT","s_10001111",-254.10343480635,44,596.206869612701,779.853458184386,1.99198559162778,6.16577169552966,FALSE,FALSE "JOINT","s_01001111",-254.107441258582,44,596.214882517163,779.861471088848,1.99999849609026,6.17378459999225,FALSE,FALSE "JOINT","s_00101111",-254.107449831994,44,596.214899663988,779.861488235674,2.00001564291529,6.17380174681728,FALSE,FALSE "JOINT","s_01101111",-252.828578188991,44,593.657156377981,777.303744949667,-0.557727643091539,3.61605846081034,TRUE,FALSE "JOINT","s_11101111",-254.103453300973,44,596.206906601945,779.85349517363,1.99202258087212,6.16580868477411,FALSE,FALSE "JOINT","s_00011111",-249.855069759678,44,587.710139519357,771.356728091042,-6.50474450171623,-2.33095839781424,TRUE,TRUE "JOINT","s_10011111",-254.107907689443,44,596.215815378886,779.862403950571,2.00093135781322,6.1747174617152,FALSE,FALSE "JOINT","s_11011111",-253.341690911075,44,594.68338182215,778.329970393835,0.468497801076637,4.64228390497863,FALSE,FALSE "JOINT","s_10111111",-254.107442989093,44,596.214885978186,779.861474549871,2.00000195711311,6.17378806101499,FALSE,FALSE "JOINT","OR3",-254.107537231886,44,596.215074463772,779.861663035457,2.00019044269925,6.17397654660124,FALSE,FALSE "OR","NOR3",-233.452374244485,44,554.904748488971,738.551337060656,1.99997830985353,6.17376441375552,FALSE,FALSE "OR","green_alone",-233.452385270884,44,554.904770541768,738.551359113453,2.00000036265078,6.17378646655277,FALSE,FALSE "OR","blue_alone",-233.452373828024,44,554.904747656049,738.551336227734,1.99997747693158,6.17376358083357,FALSE,FALSE "OR","s_01100000",-233.452368196341,44,554.904736392682,738.551324964367,1.99996621356502,6.17375231746701,FALSE,FALSE "OR","s_11100000",-233.452368288688,44,554.904736577376,738.551325149061,1.99996639825838,6.17375250216037,FALSE,FALSE "OR","blue_green_only",-233.452362573794,44,554.904725147587,738.551313719272,1.99995496847009,6.17374107237208,FALSE,FALSE "OR","s_10010000",-233.452385190944,44,554.904770381889,738.551358953574,2.00000020277173,6.17378630667372,FALSE,FALSE "OR","s_11010000",-233.45238513267,44,554.904770265339,738.551358837024,2.00000008622192,6.17378619012402,FALSE,FALSE "OR","s_10110000",-233.452576257807,44,554.905152515614,738.551741087299,2.00038233649707,6.17416844039917,FALSE,FALSE "OR","s_01110000",-233.452356692649,44,554.904713385297,738.551301956982,1.99994320617998,6.17372931008208,FALSE,FALSE "OR","red_alone",-233.45238287594,44,554.904765751879,738.551354323565,1.99999557276237,6.17378167666448,FALSE,FALSE "OR","s_01001000",-233.45238517679,44,554.90477035358,738.551358925265,2.00000017446291,6.1737862783649,FALSE,FALSE "OR","s_11001000",-233.452385214991,44,554.904770429981,738.551359001667,2.00000025086433,6.17378635476643,FALSE,FALSE "OR","s_00101000",-233.452382953059,44,554.904765906118,738.551354477803,1.99999572700108,6.17378183090318,FALSE,FALSE "OR","s_10101000",-233.452385100413,44,554.904770200826,738.551358772512,2.00000002170918,6.17378612561129,FALSE,FALSE "OR","s_01101000",-233.452367084562,44,554.904734169124,738.551322740809,1.99996399000645,6.17375009390844,FALSE,FALSE "OR","minority",-233.452357405468,44,554.904714810936,738.551303382621,1.99994463181861,6.17373073572071,FALSE,FALSE "OR","s_00011000",-233.452373656425,44,554.90474731285,738.551335884536,1.99997713373318,6.17376323763528,FALSE,FALSE "OR","s_10011000",-233.452381600846,44,554.904763201693,738.551351773378,1.99999302257561,6.17377912647771,FALSE,FALSE "OR","s_01011000",-233.452362759298,44,554.904725518595,738.55131409028,1.99995533947799,6.1737414433801,FALSE,FALSE "OR","s_11011000",-233.452385403057,44,554.904770806114,738.551359377799,2.00000062699655,6.17378673089866,FALSE,FALSE "OR","s_00111000",-233.452354852949,44,554.904709705899,738.551298277584,1.99993952678176,6.17372563068375,FALSE,FALSE "OR","s_10111000",-233.452373695341,44,554.904747390682,738.551335962367,1.9999772115649,6.17376331546689,FALSE,FALSE "OR","s_01111000",-233.452082363103,44,554.904164726205,738.55075329789,1.99939454708806,6.17318065099005,FALSE,FALSE "OR","s_11111000",-233.452377402209,44,554.904754804418,738.551343376103,1.99998462530061,6.17377072920272,FALSE,FALSE "OR","red_green_only",-233.452375646686,44,554.904751293371,738.551339865056,1.99998111425384,6.17376721815594,FALSE,FALSE "OR","s_10000100",-233.452385178579,44,554.904770357158,738.551358928844,2.00000017804132,6.17378628194342,FALSE,FALSE "OR","s_11000100",-233.452359482212,44,554.904718964424,738.551307536109,1.99994878530674,6.17373488920884,FALSE,FALSE "OR","s_00100100",-233.452367021716,44,554.904734043432,738.551322615117,1.99996386431508,6.17374996821718,FALSE,FALSE "OR","s_10100100",-233.452358246366,44,554.904716492731,738.551305064416,1.99994631361392,6.17373241751602,FALSE,FALSE "OR","s_01100100",-233.452367651142,44,554.904735302283,738.551323873968,1.99996512316602,6.17375122706801,FALSE,FALSE "OR","s_11100100",-233.452385164878,44,554.904770329756,738.551358901442,2.00000015063915,6.17378625454126,FALSE,FALSE "OR","s_00010100",-233.452378196143,44,554.904756392287,738.551344963972,1.99998621316968,6.17377231707167,FALSE,FALSE "OR","s_10010100",-233.452385045512,44,554.904770091025,738.55135866271,1.99999991190771,6.1737860158097,FALSE,FALSE "OR","s_01010100",-233.452383144246,44,554.904766288491,738.551354860177,1.99999610937425,6.17378221327635,FALSE,FALSE "OR","s_11010100",-233.45238518144,44,554.904770362879,738.551358934564,2.00000018376204,6.17378628766403,FALSE,FALSE "OR","s_00110100",-233.452366557224,44,554.904733114448,738.551321686133,1.99996293533047,6.17374903923246,FALSE,FALSE "OR","s_10110100",-233.452366026388,44,554.904732052777,738.551320624462,1.99996187365969,6.17374797756167,FALSE,FALSE "OR","s_01110100",-232.918663536227,44,553.837327072453,737.483915644138,0.932556893336141,5.10634299723813,FALSE,FALSE "OR","s_11110100",-233.452384616685,44,554.904769233371,738.551357805056,1.99999905425375,6.17378515815585,FALSE,FALSE "OR","s_10001100",-233.452380087806,44,554.904760175613,738.551348747298,1.99998999649574,6.17377610039784,FALSE,FALSE "OR","s_01001100",-233.45238520252,44,554.904770405041,738.551358976726,2.00000022592371,6.17378632982582,FALSE,FALSE "OR","s_00101100",-233.452379843421,44,554.904759686842,738.551348258527,1.99998950772465,6.17377561162675,FALSE,FALSE "OR","s_10101100",-233.452371688979,44,554.904743377958,738.551331949643,1.99997319884108,6.17375930274306,FALSE,FALSE "OR","s_01101100",-233.452385033009,44,554.904770066018,738.551358637703,1.99999988690115,6.17378599080314,FALSE,FALSE "OR","s_11101100",-233.452368054717,44,554.904736109433,738.551324681119,1.99996593031631,6.1737520342183,FALSE,FALSE "OR","s_00011100",-233.452384778569,44,554.904769557137,738.551358128822,1.99999937801999,6.1737854819221,FALSE,FALSE "OR","s_10011100",-233.452358995456,44,554.904717990911,738.551306562596,1.99994781179419,6.17373391569618,FALSE,FALSE "OR","s_01011100",-233.451720900877,44,554.903441801755,738.55003037344,1.9986716226374,6.17245772653951,FALSE,FALSE "OR","s_11011100",-233.452382864598,44,554.904765729196,738.551354300881,1.99999555007889,6.173781653981,FALSE,FALSE "OR","s_10111100",-233.452379518233,44,554.904759036465,738.551347608151,1.99998885734817,6.17377496125027,FALSE,FALSE "OR","s_01111100",-229.75673678371,44,547.51347356742,731.160062139105,-5.3912966116975,-1.2175105077954,TRUE,TRUE "OR","red_blue_only",-233.452377742704,44,554.904755485408,738.551344057093,1.9999853062908,6.17377141019278,FALSE,FALSE "OR","s_10000010",-233.452373510909,44,554.904747021817,738.551335593502,1.99997684270022,6.17376294660221,FALSE,FALSE "OR","s_01000010",-233.452376262103,44,554.904752524206,738.551341095892,1.99998234508917,6.17376844899127,FALSE,FALSE "OR","s_11000010",-233.452374354925,44,554.90474870985,738.551337281536,1.9999785307333,6.17376463463529,FALSE,FALSE "OR","s_10100010",-233.452385229378,44,554.904770458755,738.551359030441,2.00000027963836,6.17378638354035,FALSE,FALSE "OR","s_01100010",-233.45237869824,44,554.904757396481,738.551345968166,1.99998721736381,6.1737733212658,FALSE,FALSE "OR","s_11100010",-233.452359350297,44,554.904718700594,738.551307272279,1.99994852147643,6.17373462537842,FALSE,FALSE "OR","s_00010010",-233.452380201665,44,554.90476040333,738.551348975015,1.99999022421252,6.17377632811451,FALSE,FALSE "OR","s_10010010",-233.452385248455,44,554.904770496909,738.551359068594,2.00000031779189,6.17378642169388,FALSE,FALSE "OR","s_01010010",-233.452385103076,44,554.904770206152,738.551358777837,2.00000002703462,6.17378613093661,FALSE,FALSE "OR","s_11010010",-233.452375387008,44,554.904750774015,738.5513393457,1.99998059489803,6.17376669880014,FALSE,FALSE "OR","s_00110010",-233.45238197771,44,554.904763955419,738.551352527105,1.99999377630229,6.17377988020428,FALSE,FALSE "OR","s_10110010",-233.452385235567,44,554.904770471134,738.551359042819,2.00000029201692,6.17378639591902,FALSE,FALSE "OR","s_01110010",-233.452385158845,44,554.904770317691,738.551358889376,2.00000013857357,6.17378624247567,FALSE,FALSE "OR","s_11110010",-233.452385093627,44,554.904770187254,738.55135875894,2.00000000813725,6.17378611203935,FALSE,FALSE "OR","s_10001010",-233.452385128376,44,554.904770256753,738.551358828438,2.00000007763583,6.17378618153793,FALSE,FALSE "OR","s_01001010",-233.452391253352,44,554.904782506704,738.551371078389,2.000012327587,6.1737984314891,FALSE,FALSE "OR","s_11001010",-233.452384380432,44,554.904768760864,738.551357332549,1.99999858174692,6.17378468564891,FALSE,FALSE "OR","s_00101010",-228.970801369687,44,545.941602739373,729.588191311058,-6.96316743974387,-2.78938133584188,TRUE,TRUE "OR","s_01101010",-233.45238459619,44,554.904769192379,738.551357764064,1.99999901326214,6.17378511716413,FALSE,FALSE "OR","s_11101010",-233.452381846218,44,554.904763692436,738.551352264121,1.99999351331905,6.17377961722104,FALSE,FALSE "OR","s_00011010",-230.155794511785,44,548.31158902357,731.958177595255,-4.59318115554709,-0.419395051645097,TRUE,TRUE "OR","s_10011010",-231.408398338942,44,550.816796677884,734.463385249569,-2.08797350123325,2.08581260266874,TRUE,FALSE "OR","s_11011010",-233.452385161573,44,554.904770323145,738.551358894831,2.00000014402826,6.17378624793025,FALSE,FALSE "OR","s_00111010",-233.360242789639,44,554.720485579278,738.367074150963,1.8157154001608,5.9895015040629,FALSE,FALSE "OR","s_10111010",-233.452381634802,44,554.904763269604,738.551351841289,1.99999309048667,6.17377919438866,FALSE,FALSE "OR","s_01111010",-233.452384310054,44,554.904768620108,738.551357191793,1.99999844099079,6.1737845448929,FALSE,FALSE "OR","s_00000110",-233.452383615526,44,554.904767231053,738.551355802738,1.99999705193579,6.17378315583778,FALSE,FALSE "OR","s_10000110",-233.452383622279,44,554.904767244558,738.551355816243,1.99999706544054,6.17378316934264,FALSE,FALSE "OR","s_01000110",-233.452385824035,44,554.904771648069,738.551360219754,2.00000146895195,6.17378757285394,FALSE,FALSE "OR","s_11000110",-233.452432030988,44,554.904864061976,738.551452633661,2.00009388285844,6.17387998676054,FALSE,FALSE "OR","s_00100110",-233.452359719781,44,554.904719439561,738.551308011247,1.99994926044428,6.17373536434638,FALSE,FALSE "OR","s_10100110",-233.452369473089,44,554.904738946178,738.551327517863,1.99996876706075,6.17375487096274,FALSE,FALSE "OR","s_11100110",-233.452381364169,44,554.904762728338,738.551351300024,1.99999254922136,6.17377865312346,FALSE,FALSE "OR","s_00010110",-232.84388637782,44,553.68777275564,737.334361327326,0.783002576523359,4.95678868042535,FALSE,FALSE "OR","EVEN_parity",-233.452385169794,44,554.904770339588,738.551358911273,2.0000001604709,6.17378626437289,FALSE,FALSE "OR","s_01010110",-233.452385119699,44,554.904770239398,738.551358811084,2.00000006028131,6.1737861641833,FALSE,FALSE "OR","s_11010110",-233.45238520085,44,554.904770401699,738.551358973384,2.00000022258223,6.17378632648422,FALSE,FALSE "OR","s_00110110",-233.452377548898,44,554.904755097797,738.551343669482,1.99998491867973,6.17377102258172,FALSE,FALSE "OR","s_10110110",-233.452376787578,44,554.904753575155,738.551342146841,1.99998339603826,6.17376949994036,FALSE,FALSE "OR","s_01110110",-233.452379925715,44,554.904759851431,738.551348423116,1.99998967231363,6.17377577621573,FALSE,FALSE "OR","s_11110110",-233.452385176167,44,554.904770352333,738.551358924018,2.00000017321588,6.17378627711787,FALSE,FALSE "OR","s_00001110",-233.452380328747,44,554.904760657495,738.55134922918,1.99999047837753,6.17377658227952,FALSE,FALSE "OR","s_10001110",-233.452375755313,44,554.904751510627,738.551340082312,1.99998133150962,6.17376743541172,FALSE,FALSE "OR","s_01001110",-233.452357270283,44,554.904714540567,738.551303112252,1.99994436144982,6.17373046535181,FALSE,FALSE "OR","s_11001110",-233.452380738492,44,554.904761476984,738.55135004867,1.99999129786727,6.17377740176926,FALSE,FALSE "OR","s_00101110",-233.452383575265,44,554.904767150529,738.551355722214,1.99999697141197,6.17378307531396,FALSE,FALSE "OR","s_10101110",-233.452372480305,44,554.904744960609,738.551333532294,1.99997478149191,6.1737608853939,FALSE,FALSE "OR","s_01101110",-233.452373494417,44,554.904746988834,738.551335560519,1.99997680971649,6.17376291361848,FALSE,FALSE "OR","s_00011110",-233.452379133622,44,554.904758267244,738.551346838929,1.99998808812643,6.17377419202842,FALSE,FALSE "OR","s_10011110",-233.452384016204,44,554.904768032408,738.551356604093,1.99999785329112,6.17378395719311,FALSE,FALSE "OR","s_01011110",-233.452385178295,44,554.904770356591,738.551358928276,2.00000017747345,6.17378628137544,FALSE,FALSE "OR","s_11011110",-233.452385255592,44,554.904770511184,738.551359082869,2.00000033206675,6.17378643596874,FALSE,FALSE "OR","s_00111110",-233.452371620932,44,554.904743241865,738.55133181355,1.99997306274759,6.17375916664969,FALSE,FALSE "OR","s_10111110",-233.452385179829,44,554.904770359658,738.551358931343,2.00000018054061,6.17378628444271,FALSE,FALSE "OR","s_01111110",-233.40357076895,44,554.807141537901,738.453730109586,1.90237135878351,6.07615746268561,FALSE,FALSE "OR","NAND3",-233.452383058825,44,554.904766117649,738.551354689335,1.99999593853227,6.17378204243437,FALSE,FALSE "OR","AND3",-233.452373816367,44,554.904747632734,738.551336204419,1.99997745361668,6.17376355751867,FALSE,FALSE "OR","s_10000001",-233.452374846478,44,554.904749692956,738.551338264641,1.99997951383909,6.17376561774108,FALSE,FALSE "OR","s_01000001",-233.452385218073,44,554.904770436146,738.551359007831,2.000000257029,6.17378636093099,FALSE,FALSE "OR","s_11000001",-233.452374139236,44,554.904748278473,738.551336850158,1.99997809935553,6.17376420325752,FALSE,FALSE "OR","s_00100001",-233.452363855678,44,554.904727711355,738.55131628304,1.99995753223811,6.1737436361401,FALSE,FALSE "OR","s_10100001",-233.452361636031,44,554.904723272062,738.551311843747,1.99995309294491,6.1737391968469,FALSE,FALSE "OR","s_01100001",-233.452385120458,44,554.904770240916,738.551358812601,2.00000006179891,6.1737861657009,FALSE,FALSE "OR","s_11100001",-233.452379737052,44,554.904759474104,738.551348045789,1.9999892949869,6.17377539888889,FALSE,FALSE "OR","s_10010001",-233.452377081274,44,554.904754162549,738.551342734234,1.99998398343178,6.17377008733388,FALSE,FALSE "OR","s_01010001",-233.45237477451,44,554.904749549019,738.551338120704,1.99997936990223,6.17376547380422,FALSE,FALSE "OR","s_11010001",-233.452375763511,44,554.904751527023,738.551340098708,1.99998134790553,6.17376745180752,FALSE,FALSE "OR","s_00110001",-233.452362643493,44,554.904725286986,738.551313858671,1.99995510786857,6.17374121177068,FALSE,FALSE "OR","s_10110001",-233.452379749096,44,554.904759498192,738.551348069877,1.99998931907498,6.17377542297697,FALSE,FALSE "OR","s_01110001",-233.452385101018,44,554.904770202037,738.551358773722,2.00000002291972,6.17378612682182,FALSE,FALSE "OR","s_11110001",-233.452385208669,44,554.904770417338,738.551358989023,2.00000023822088,6.17378634212287,FALSE,FALSE "OR","s_00001001",-233.452385463317,44,554.904770926635,738.55135949832,2.00000074751756,6.17378685141955,FALSE,FALSE "OR","s_10001001",-233.452384087011,44,554.904768174022,738.551356745707,1.9999979949049,6.17378409880689,FALSE,FALSE "OR","s_01001001",-233.45238526902,44,554.90477053804,738.551359109725,2.00000035892276,6.17378646282486,FALSE,FALSE "OR","s_11001001",-233.452359887381,44,554.904719774763,738.551308346448,1.99994959564572,6.17373569954771,FALSE,FALSE "OR","s_00101001",-233.241189742846,44,554.482379485691,738.128968057377,1.57760930657423,5.75139541047633,FALSE,FALSE "OR","s_10101001",-233.452371516565,44,554.90474303313,738.551331604815,1.99997285401241,6.1737589579144,FALSE,FALSE "OR","ODD_parity",-233.452372300153,44,554.904744600307,738.551333171992,1.99997442118945,6.17376052509144,FALSE,FALSE "OR","s_11101001",-233.452385169174,44,554.904770338349,738.551358910034,2.00000015923172,6.17378626313371,FALSE,FALSE "OR","s_00011001",-233.153820618335,44,554.307641236671,737.954229808356,1.40287105755351,5.57665716145561,FALSE,FALSE "OR","s_01011001",-233.452373971624,44,554.904747943249,738.551336514934,1.99997776413159,6.17376386803357,FALSE,FALSE "OR","s_11011001",-233.45237269051,44,554.90474538102,738.551333952706,1.99997520190323,6.17376130580533,FALSE,FALSE "OR","s_00111001",-233.452385161407,44,554.904770322814,738.551358894499,2.00000014369641,6.1737862475984,FALSE,FALSE "OR","s_10111001",-233.452370070602,44,554.904740141204,738.551328712889,1.99996996208642,6.17375606598853,FALSE,FALSE "OR","s_01111001",-233.452369283172,44,554.904738566343,738.551327138029,1.99996838722632,6.17375449112842,FALSE,FALSE "OR","s_11111001",-233.452385151154,44,554.904770302308,738.551358873993,2.00000012319072,6.17378622709271,FALSE,FALSE "OR","s_10000101",-233.452371728537,44,554.904743457074,738.551332028759,1.99997327795654,6.17375938185853,FALSE,FALSE "OR","s_01000101",-233.452370081884,44,554.904740163768,738.551328735453,1.99996998465053,6.17375608855264,FALSE,FALSE "OR","s_11000101",-233.452358904913,44,554.904717809825,738.55130638151,1.99994763070799,6.1737337346101,FALSE,FALSE "OR","s_00100101",-233.452376401379,44,554.904752802757,738.551341374442,1.99998262363988,6.17376872754198,FALSE,FALSE "OR","s_01100101",-233.452408204902,44,554.904816409804,738.551404981489,2.00004623068639,6.1738323345885,FALSE,FALSE "OR","s_11100101",-233.45238401258,44,554.904768025161,738.551356596846,1.99999784604347,6.17378394994557,FALSE,FALSE "OR","s_00010101",-231.90818571082,44,551.816371421639,735.462959993324,-1.08839875747788,3.08538734642411,TRUE,FALSE "OR","s_10010101",-233.452385168835,44,554.90477033767,738.551358909355,2.00000015855289,6.173786262455,FALSE,FALSE "OR","s_11010101",-233.452373126565,44,554.90474625313,738.551334824815,1.99997607401281,6.1737621779148,FALSE,FALSE "OR","s_00110101",-233.452383742916,44,554.904767485831,738.551356057516,1.99999730671391,6.1737834106159,FALSE,FALSE "OR","s_10110101",-233.452384781781,44,554.904769563561,738.551358135246,1.99999938444398,6.17378548834608,FALSE,FALSE "OR","s_01110101",-233.452365415946,44,554.904730831892,738.551319403577,1.99996065277458,6.17374675667656,FALSE,FALSE "OR","s_00001101",-233.452379611003,44,554.904759222005,738.551347793691,1.99998904288827,6.17377514679038,FALSE,FALSE "OR","s_10001101",-233.452380995319,44,554.904761990638,738.551350562323,1.99999181152111,6.17377791542322,FALSE,FALSE "OR","s_01001101",-233.452367667899,44,554.904735335799,738.551323907484,1.99996515668147,6.17375126058346,FALSE,FALSE "OR","s_11001101",-233.452385146351,44,554.904770292701,738.551358864387,2.00000011358429,6.17378621748639,FALSE,FALSE "OR","s_00101101",-233.452385111289,44,554.904770222578,738.551358794263,2.00000004346055,6.17378614736253,FALSE,FALSE "OR","s_10101101",-233.452374916817,44,554.904749833634,738.551338405319,1.99997965451689,6.17376575841899,FALSE,FALSE "OR","s_01101101",-233.452385267475,44,554.90477053495,738.551359106635,2.00000035583264,6.17378645973463,FALSE,FALSE "OR","s_11101101",-233.452359968266,44,554.904719936531,738.551308508216,1.99994975741424,6.17373586131623,FALSE,FALSE "OR","s_00011101",-233.452361047351,44,554.904722094702,738.551310666387,1.99995191558492,6.17373801948702,FALSE,FALSE "OR","s_10011101",-233.452373828346,44,554.904747656692,738.551336228377,1.9999774775747,6.17376358147681,FALSE,FALSE "OR","s_01011101",-233.452385233113,44,554.904770466226,738.551359037911,2.00000028710838,6.17378639101037,FALSE,FALSE "OR","s_00111101",-233.452376711022,44,554.904753422044,738.551341993729,1.99998324292676,6.17376934682875,FALSE,FALSE "OR","s_10111101",-233.452385242853,44,554.904770485707,738.551359057392,2.00000030658975,6.17378641049186,FALSE,FALSE "OR","s_01111101",-233.379403327343,44,554.758806654686,738.405395226371,1.85403647556916,6.02782257947115,FALSE,FALSE "OR","s_11111101",-233.452374105679,44,554.904748211359,738.551336783044,1.99997803224142,6.17376413614352,FALSE,FALSE "OR","s_10000011",-233.45238720119,44,554.904774402381,738.551362974066,2.00000422326343,6.17379032716542,FALSE,FALSE "OR","s_01000011",-233.452366801353,44,554.904733602705,738.55132217439,1.99996342358793,6.17374952748992,FALSE,FALSE "OR","s_00100011",-229.709187463132,44,547.418374926264,731.06496349795,-5.48639525285284,-1.31260914895074,TRUE,TRUE "OR","s_10100011",-233.452373936337,44,554.904747872674,738.551336444359,1.99997769355639,6.17376379745838,FALSE,FALSE "OR","s_01100011",-233.452380103079,44,554.904760206157,738.551348777843,1.99999002704021,6.17377613094231,FALSE,FALSE "OR","s_11100011",-233.452377735491,44,554.904755470982,738.551344042667,1.99998529186439,6.17377139576638,FALSE,FALSE "OR","s_00010011",-229.09900428435,44,546.1980085687,729.844597140386,-6.70676161041683,-2.53297550651473,TRUE,TRUE "OR","s_10010011",-233.452385234231,44,554.904770468462,738.551359040147,2.0000002893446,6.1737863932467,FALSE,FALSE "OR","s_01010011",-233.45238513718,44,554.90477027436,738.551358846045,2.00000009524263,6.17378619914462,FALSE,FALSE "OR","s_11010011",-233.452368905417,44,554.904737810833,738.551326382518,1.99996763171612,6.17375373561822,FALSE,FALSE "OR","s_10110011",-233.452375805095,44,554.904751610191,738.551340181876,1.99998143107359,6.17376753497558,FALSE,FALSE "OR","s_01110011",-233.452385069028,44,554.904770138055,738.551358709741,1.99999995893836,6.17378606284046,FALSE,FALSE "OR","s_00001011",-231.298636279044,44,550.597272558088,734.243861129773,-2.3074976210288,1.86628848287319,TRUE,FALSE "OR","s_10001011",-233.452377535568,44,554.904755071136,738.551343642821,1.99998489201869,6.17377099592068,FALSE,FALSE "OR","s_01001011",-233.452377913351,44,554.904755826703,738.551344398388,1.99998564758562,6.17377175148772,FALSE,FALSE "OR","s_11001011",-233.452385371142,44,554.904770742285,738.55135931397,2.00000056316753,6.17378666706963,FALSE,FALSE "OR","s_00101011",-223.308220560915,44,534.61644112183,718.263029693515,-18.288329057287,-14.114542953385,TRUE,TRUE "OR","s_10101011",-233.232549373482,44,554.465098746965,738.11168731865,1.56032856784759,5.73411467174969,FALSE,FALSE "OR","s_01101011",-233.237496840903,44,554.474993681805,738.12158225349,1.57022350268812,5.74400960659011,FALSE,FALSE "OR","s_11101011",-233.452385070206,44,554.904770140412,738.551358712097,1.99999996129441,6.1737860651964,FALSE,FALSE "OR","s_00011011",-225.744279798304,44,539.488559596608,723.135148168293,-13.4162105825094,-9.24242447860729,TRUE,TRUE "OR","s_10011011",-230.076266631513,44,548.152533263025,731.79912183471,-4.75223691609199,-0.578450812189885,TRUE,TRUE "OR","s_01011011",-233.16790064003,44,554.33580128006,737.982389851745,1.4310311009425,5.60481720484449,FALSE,FALSE "OR","s_11011011",-233.452369530311,44,554.904739060623,738.551327632308,1.99996888150542,6.17375498540741,FALSE,FALSE "OR","s_00111011",-228.585127555541,44,545.170255111082,728.816843682767,-7.73451506803553,-3.56072896413343,TRUE,TRUE "OR","s_01111011",-233.452383691719,44,554.904767383437,738.551355955123,1.99999720432027,6.17378330822226,FALSE,FALSE "OR","s_11111011",-233.452365523795,44,554.904731047591,738.551319619276,1.99996086847375,6.17374697237574,FALSE,FALSE "OR","s_00000111",-225.601439805587,44,539.202879611174,722.849468182859,-13.7018905679433,-9.52810446404123,TRUE,TRUE "OR","s_10000111",-233.452370627409,44,554.904741254819,738.551329826504,1.99997107570152,6.17375717960363,FALSE,FALSE "OR","s_01000111",-233.452370123361,44,554.904740246723,738.551328818408,1.99997006760577,6.17375617150788,FALSE,FALSE "OR","s_11000111",-233.452385223126,44,554.904770446252,738.551359017937,2.00000026713496,6.17378637103707,FALSE,FALSE "OR","s_00100111",-233.332358621013,44,554.664717242026,738.311305813711,1.7599470629084,5.93373316681038,FALSE,FALSE "OR","s_10100111",-233.452373945986,44,554.904747891972,738.551336463657,1.99997771285439,6.17376381675638,FALSE,FALSE "OR","s_01100111",-233.452385152389,44,554.904770304777,738.551358876463,2.00000012566034,6.17378622956244,FALSE,FALSE "OR","s_11100111",-233.452373201031,44,554.904746402063,738.551334973748,1.99997622294541,6.1737623268474,FALSE,FALSE "OR","majority",-219.531224269096,44,527.062448538193,710.709037109878,-25.8423216409242,-21.6685355370221,TRUE,TRUE "OR","s_10010111",-232.728906328234,44,553.457812656468,737.104401228154,0.553042477351255,4.72682858125324,FALSE,FALSE "OR","s_01010111",-231.942269520411,44,551.884539040823,735.531127612508,-1.02023113829455,3.15355496560755,TRUE,FALSE "OR","s_11010111",-233.452365353021,44,554.904730706042,738.551319277728,1.99996052692518,6.17374663082728,FALSE,FALSE "OR","s_00110111",-230.527321222879,44,549.054642445758,732.701231017443,-3.85012773335916,0.323658370542944,TRUE,FALSE "OR","s_10110111",-233.452383637164,44,554.904767274328,738.551355846014,1.99999709521137,6.17378319911336,FALSE,FALSE "OR","s_11110111",-233.452358024093,44,554.904716048186,738.551304619872,1.99994586906928,6.17373197297138,FALSE,FALSE "OR","s_10001111",-233.452375620427,44,554.904751240855,738.55133981254,1.9999810617378,6.1737671656399,FALSE,FALSE "OR","s_01001111",-233.452372155368,44,554.904744310737,738.551332882422,1.99997413161952,6.17376023552151,FALSE,FALSE "OR","s_00101111",-231.618668355895,44,551.23733671179,734.883925283475,-1.66743346732699,2.506352636575,TRUE,FALSE "OR","s_01101111",-233.452385203315,44,554.904770406631,738.551358978316,2.00000022751362,6.17378633141561,FALSE,FALSE "OR","s_11101111",-233.45238065579,44,554.90476131158,738.551349883265,1.99999113246258,6.17377723636457,FALSE,FALSE "OR","s_00011111",-219.208917375608,44,526.417834751217,710.064423322902,-26.4869354279004,-22.3131493239985,TRUE,TRUE "OR","s_10011111",-232.606935482086,44,553.213870964172,736.860459535857,0.309100785054966,4.48288688895695,FALSE,FALSE "OR","s_11011111",-233.452381191447,44,554.904762382894,738.551350954579,1.99999220377651,6.1737783076785,FALSE,FALSE "OR","s_10111111",-233.452383175646,44,554.904766351292,738.551354922977,1.99999617217497,6.17378227607696,FALSE,FALSE "OR","OR3",-233.092461188178,44,554.184922376356,737.831510948041,1.28015219723898,5.45393830114108,FALSE,FALSE