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 yy9 4 ]/ Fishburn_Impossibility:threads=4elapsed=17.418cpu=64.964gc=2.348factor=3.737zXZִF! ' G]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkNS-M%yMLzN@ U9^S<&\߳0P\(KM+ TS̊r\g2KasH(.!ZO|tO~@A#A+F뾛0Z>J,lS:ms.zB<_$=%[0qp, 7)Nꦒ:HZ+sAX4s\!Vxl8DHd1 =a@v`sjM-UDLj"K2]MMۋJ{ "q聥nj&n %ʫ@Bxy`& _=堺}azpқ2(=2~T_ϗO2J\vmO0CԖyI.N Ӥu#utͶskg6у{W4LߤDD[A5wPVL l#֬ȑq![JqNg| ,ּgeaR 0ؒ~5Ax]\#}ԌKcuU) t DЊ GRMj:1@fdvsvF 3=Ϋ#MsW=9`5A>|~TE\s(# }~J8\ яͲ CAK aa(Re|=<ɌF6vDL<4Ϗ0NS{ɸ)wndV_ * Y]]`}r+fnܮkf=^qG}jd2SKGGS18s/=bOjCa| ϱKD }6Rth_dWc( - tX7盅AH ?E_4rZ XXfum XV7X2n|SCIo,尶Jx ~sҮr5)hS?ЙO{;6cQ O I̞Q*XSFNg#gYZ7zXZִF! Q]ŗXiɟ1˦r!cHkMeBd4h]5ot=GN nPmku(q\a̽Bu $h+r =Atjs/,Y NoL Чr*`mD2$" 4}_N g> rȾ8H 68da׳egx+XVE ;6;:M.a94iJ Z Ԯ&AA%=م2ĝR;mwJ(,q'<zFhAgYZ7zXZִF! uH]ŗXi%G>'̒[QzdkO ,[< 4_Lb` ̠BeEBAy#6n;#tޗm sՒ@ޚ(=qxfřl!Cf"ftNs ʦ%hdxxo)[Eoox؈%=&T6-Th6d6DG#yR((9sK=^2ST!:'Do;Hza7'{p E*z6%NT:Z>g8V HAċ|4MYQ_wJ̦OYrSUaU LU>0}JYa 6NK1VpQF{5+WO! BEZ֎'/g)l'M¯a.^pAWUVQIςs6HWk)x0 bqZQT :~kA -^UfV&ްn9 {@B,-I%"G-ۙ/;Y0gu| ţCت{Pm?ķͥHa (8-|+HB?anADg^P\/rh"ݺ+T4P ̲& { @Re  t%nA"~|m_(QMӴxq(Szn#X?XaՆ^5xl]/Tm:VG>*qL!Qlx>CH^f,wȔ:w>߾ޯMi<=;i񣭈3J9j`=ئs[T 4}m3yΕB/&ƴ^1MՕTrNxR]Z>}|`x@IBdݡӹ+ޙ}[xɽ=rޓ#ZlYrjR?&sXnR=!K c%,5兕H=%U+݅oʖA-I}H9Lo؆LIao|z0*[oGXFڢ99=3>{ʊTn*H%lН%dOf8| ]٦F  'JTÞTX QKae3K;\_f9F KijhJr{oa1c9 D;94.1`#~z=1')(b'ƻf+ܳN)OTmfkϧ P[ٿԵ+ͤpH>H(]g.~yH 0^tAA{n`fTbrWVoPLNkVaL𗻳.p vbrVIn45~+ bQU*Jijk> NMzF