SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info D9 < ]/ Fishburn_Impossibility:threads=4elapsed=17.129cpu=63.612gc=1.920factor=3.717zXZִF! &CG]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn7 lSR 0ݭoɗwsԱԸj0T&%1- ! k-S# sT/CX6-|GuOgR[D"7 :Pp^iQ@ $8+ " &OS[Ke=]~kZ*K_l10&i 4f)bꚈ;yMEœ|kMGVO~&GA)u7j uPG^\2S!B+T7tlЬΏ4bX LCu2i%q =QG??~@=Pa{(lNDr]^Vx)G?e+ɴYaʞ PQ87Ze0Z:Q%'y鏾], il kMJC ؠІzٿ ˄=# XȞR-KL5yD1_T-39ܟ| ʢӥ2CT:&Y%L)110^z!V2(F)WEx );IJT6=: \O6dESUUr+O.QOf@GH#%l*ukϑjLZgYZ7zXZִF! W]ŗXiɟ1˦r!cHkMeBd45%a$__be|'nq,=x6—+ ŧ%оks 2|/lCeEDTCA1O7!eɱڻ\GqmD(3358YӀ/Hy.̫:ގ|cbe<O{3xOY^.9\ B3t2l8}ϏI^.( _N@̥(gb<]K:7Xo3k:42jYKwG(߼-AzW)nUG xxgYZ7zXZִF! u]ŗXi%ES3Hf;;5oLb]/=hnV(R2~zvcfC\#W/uѻR~s.3T͌$50f5.# ->Zy|N>"*G>1:BLh()Q'߉|3QeG EZk#cGA50W q e!Dŧ⬋8 *)E]f~z dAMQZN@,4q+k@]ňR-UW7B spMS{yYE!-mƊK HWǺboQt?oVRi+sѵk9:;fĤ#H$̹ax;vyk gd, jKZWhfWun #igeW÷15a e޷GDlqdZ;20!f`@a _%|cLz֔VAC ݚɥh!y'"2G 7)H z1&sߖZ2|,+t߹ R]`uyJ@eŗ˕LgM"<[4Asb}N$ۘltwoQL3={r]+~oދUg0p`8;-Kr-gjzHKkV]食[j~C3fإ9kk1YEl hPYȆ06k}b}"C8D@ab)_KEi>]M/"yW(D=NȎF# P=*׹$/|49{`JNRWEo Өjz7 :(O3_ ƘfX%d2+ wgU.ƍlD8.!) :ڜ.ג{#pચsFr^jFGsS#5Dﳈ-װPD(i)ou RJf,jPJ$3 Ư!:MO?#fKQQ~"D[}h@@ PÛr&In!]?z"Jl0U6[n kqZȗדZ)[~r;WQe5y:_wܠRP:CbQYzU4ԧ(<ȭG<(~^_.S& *b=?,Q0UugErLsMvȗ4h/qqZSVE2Cw N쿲_$Z<^pt =Jgcm_徝iL.5 dڿbd /ԽI}h ^j4I[\`KH 8PyqYmF޽IWP>b J E5 =ЙV5zg;47X;¯ ۍ)Jz45L"Rωs#Ơˬ_['$|25a6F~=Ƕ%%OX!k&Zz#Oe"P45F.Ѐ<6q(0}_@PJf7`O(6]`{]-(4vt,ƬӇەM*77wNKY,'yS9w?}vj Y;XPخ~Ε3l=e{yZ㦭Nrxe儣$K!F9Qv4*͒[v7aFbpnaSYéX$+l&%`uȕ#gYZ91561a81bbd29a7de274bcade666fbb1b80160df76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 9 Fishburn_Impossibility