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 9 d4t ]/ Fishburn_Impossibility:threads=4elapsed=19.693cpu=72.224gc=2.780factor=3.677zXZִF! .]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jOBI,>1}#jYBJ`E![g ÇM߷9.0d}-è׶ ^u7YKqàr4cCOLũGA&OnuCrR K#Ro !ټC89S-z7ZG=T>(iIpcv_-&Q Qu\jqL fń&B|W@҇|Clmǩ$;Cr 9 Fishburn_Impossibility  +Ya6aP;\ Y~sWճXqj*5SCfuf:jnR8Zg]ЩsέSqi޶tٝ , 1᫤aM>husQSk*'$]Uo(VXy*YTWX,3m^׊RKÜUNq !K|m3^*fƹLLn+JMoSVIaXo80~p۪|ǣ8:WhʤQMt}˜siym-=ִT93SZU|o,4f'G놉?y2G }Հ' 67: `닝WN@ό;V,, (yֵ' t o)ӕq@^~F}).C }s{neF >$D8ȓ$֤)$ &؂JK  B_!>ܺ*kv`M`^cK3`񷭤IZ[愙vC0 4Nݼ?PleQy>345\L&u%DM^_NmcR<'b5U-4WTo2O;t!KɽU]xq@%#.?®[Ra& U5M\8=~=NVg]I n4 G)h'#N`m"? ;!Lf|p 'y)Wߗdcqr=G;:) Y&2;TkmI`&'d m8O Xk[$OB[ z\]Vځ#yRFyuL Uo\zI`D"y_Mo \DZgYZ7zXZִF! R]ŗXiɟ1˦r!cHkMeBd4#ÙJֽu,iSiR]@:/on%؁_RTtntq 4&dfˬ{P%V Ū'؟:R5Q 0DZgYZ7zXZִF! 3]ŗXi%Eb⬗vqRT ;.m E~V Ŝ+cZ* ح1G{uBΪ`J {ӭ{S;b id _j̻g=y@ozI1Rf2f[?|Md}2]W>=ךN%U%^.XWC6pѨQ{oJB| %QFp(X$ LBt>7kف_O Ʋvf|UϹˬdf}GĝW_S!o M&7D DD]T[:$r^|:"6) /$^( Z#V;V~]{]Q /Y޳jg/p"pÌ]mD{ 7ֹ}Y+v@&{pZ6qſ6*%/vt~:OpQţ;^Ɣn} j+E&Xxdwv᪍39+ NbXVD; `Sx5GVD\P 8d*aÏx\dU^:n48ϏG̪ՙ^eT c,"H^eXtai৒krN jL/%\(NhW9 V4[;jǙʌ>o =5͂_s,g ^GXYw77rd&ض;Jv} $c<|'n%K5ɇ"t@xt%8peT4 9Э} ڐ0{x A q 8t*P );1GoUYW_+.Ud fϨn_<[{m G#RQ@\MeLĪZ?efIѽ# aq<.#\A] 4XɆ2VVb>k1hY!{ˍ[wDg>ܟ2{6ɶItO6TC&LE^aDoƄ'nKx lNg֐FNZxdʌc5Yo]Oh4'B]? g9hUl-X>>0ĨaXPLG֓924Q V5ށ f 2ɕ\7F%|dX\SsK-j` ڂ쫝 6w`䎤wi4bU)v;ޯ<_/k(K; >th!'TLzM D4gcC8+,DdC[D7i_'&[׈ʉQ'}zExPeie)bI%9A%Lqa1$ױmTOWƞ"!h3:.?Sw'JqPc|i>YmIXm]EF"&G];;׫6pSP&l@VSψ1ܩQUO;d4lÖ$_S!"\ƽPv r95r{,03 LSՒG_E,t01S{q!*}&G%G umCF`Fm?df]r2&|f߀X=X7caG۔;8̔ß>c,_Jғ۱6g EW#>z33g\h+h1^.S~]m8eEyF*>+*vjK_953d wΑ_N0CZtYv5*4q!ANy3cۈaYaxJi@yN!C_A& WJPK=2e | UQhzW'$4qgYZ4513c0d66e9a41ef959d28dc9c4f75acbeaf894b87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591