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 >/ < ]% SDS_Impossibility:threads=4elapsed=36.272cpu=92.296gc=2.052factor=2.547zXZִF! V]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,y:@uuqQԹ{cw~fH耚'ԿZ}nkd-FOM`"{؆ Q&Fk%7ZA$:WӥZݞ"o" lRIU,zz{^|%mQH'.I#*eŮy=9UL#k[mqm qŘ8TXN?Lo{_tԑW۲C3BwzU9?3}0rg;K / SDS_Impossibility  sC's  6 8TmX,5xW}V2u^$c|\?3"~9E#vhG7No;@)Zy֏Ep4S wObzbW.6n1^#E]!)>ƟW,`rJ ė;G,? y{3IJ-Ƿs8&E4˔Mٝ]qǪ scGW(>JMk7|{@ p?Q߁"c30`gYZ7zXZִF! YK]ŗXiɟբX LT9W"qP}G EyٿM%n2(< hnn'ZGgZ}YZ7zXZִF! ( ]ŗXi%G[BPXʴGau%m~A[uq Ab @ڳi9F^քZw"+2;1zm& `5_ؚ#i{v񍏻,Y^8 x JSc;3򡔀$gD.@4N/'bAĀR# . j 7YO2ѫ4;"/@褦7:tX'vMH\hBh$v7"/۝2z9+W_;Ǭ+,[j$l#uK۷Eq8bW1Z ½dN}!<<$g[T;4.-T>ǫh qh=(!CqQܒsb5Ejo%뺜Acyv1'Ģzn{LTt&PA0)4%fT}^`FlAz_; j lNJ„su4#xܲ5rFK@ h(.^[xh8bق+M*OD]b"PŎ==2?Ne 7fTܠ`%>+D%qEf>J#^'JYhd"C^'?k~m@dp:{{ @_¤w`gPƐDau NSz跈zv$uU2RJ0E]apAQ=IiƑ6w KФ3H6Fl6.,5ty{[ $G=miU+ :1thG\Pf7( ;ٿ* YrL6WLk*ɤJHgM@euDsR.1$霼:ojM΢~~yUF! C%GQI)3u7O.? 2عk^V`M>|:mɟ)x}2?o|7q &7[z(ajQ? 7 ^8=@ 4~a$T g$ZPHREPFdønD&=6nEtӬZ > Gq>krz8߽;QW%S?wxy-fMȸv`A:?nD#"q/jQTh 0/[HH[_ ]DJ/ΙzGp.e#0t$ﳔVrfnH?Eyyu[ 0F[Q4*o#d$SUvζy哒gLIsʶTR^ _gg:2?~c-7/ [Oj!lj%sO$]BěD:ISAGRaF;5q4x?xZ bo+/W6wF{`i.7poPqP<34K'H}n݅a6Ӵf) pkC/Ԉk=TҌٹ5FNnkX au6vP"S哱GZ"?o1 m݂7^ KBχmNh _Z)id""520#C&:1zf~}+SyLhOxH:^jQ4WcPS6b$5kSA ͙jm@岨jŅ;`(`SHc' MhC&KO4Y;'I-} H(^-M|GԊ?JsWB bM[xqjR9H1 Njuфɘ;!kQpϹlѯ-"_^4+jlĩ̈s[ vIHpNe&g]2ۀFO !.m[Ea#ԭ zS]_١0@/ܞbXO< >nڌPYCzwL/r+L@!Ĕ:N QhܟĎ2k0pR9S`vNֶ#O‡Q|qJǍz=a갮W=K-PO 䐖y [ /BԹ)sVmk \ : 7u'3Th6;h9H1IӋ6C;lÃZ? ;/wg% v'<;d|Kt!=]{V=G kߥgc]cV :i9v"&tf[7`IrӺZ==2!TMLPPCk27?z*