SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 aa L ] Corec:threads=2elapsed=58.857cpu=86.220gc=6.060factor=1.467zXZִF! `]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$htUgjyaNUIL؃4oIN41'M}&HA/~!PYi Ay8fɁ (| `;6:W_KVaR7#GF@Y;$Áv(gC}'=hߋ0hv bZ5]2nrv)0gYZ7zXZִF! _]ŗXiɟ&zLoggH͉b(F+.ʹԠVU;Dm͎܇ܽ1c$:ˠ󎮴JCY^{'q ֿI|Ư=wwο{NӮ!ϊ&o8o{Y5wv6p8N)8c@~nዿ N飲JcKmul1N`s͏F WǨg~JiaOl0zNv[lbֶu4ߙ:W6uJ׎:WJEsro,JSI8ax{EAho:ء }Mt0k\H~*fk @|9%gMM CE n ZDϛ'.0/MdSz*s[=k2.ủ.У*ˌa(Ц G@ksM$͌(3E '+vD9{5ʓ'92[Lhjvd/%[:ЯK;\:lX.ߪ*ؤr;P3&N(O]SI9,skZ*|G'GtB{@hݵR| ˜Դ}n| Ց1SLByǓk%k֢ngqZZ4?$X%wC,]/6sJ?v{A jɯ0m ,,,\#DU !"Kh}Nr3{R$uvIdԢ"ęxÇHÚ ._lGQ'AmMn"r\kwPi &^kC VmN"ayQ#n]<_4rX'z*MH]zF9pusS -5{)v >$ 4oe+.2/ڕA?Ez/Oq]&)`Ofb']&$(jS*A[v_onXA*ǜoL@40sŸkh~F/E!E,4]eJ.~ Z%g3E ln۹k9~cieUB2m=DEK-^|WyTCFeW#3K#w[퍟HR^ȹyDi@ְAXeF#Cz}t^S.N;+n )t#/bK*mtg/|֡^Ep7z]i;jѴpA'8tG8 ύI9W9,`][J WhQAn;i֤[#MPw=?Y=2ZK(0uz"I\E $lnU%pG7SYy+p5M-eU"ı;9?A*WIFhʓjm` % PŮ{Ƹ )oU]\,B,P;LfhIC \Hert ؁O}tչl;G%nفOuƹC`QFMXG,:ibxzCڜ7Z6&(\oUKEjI>MͣWtF!խN0D {=NUdl_P58AtYᕞr p>BdE X:)ݶ 98D# &_Yʑ )>Of(glBL|z5ŊO@I$^QiR-@DEGgѹ3LO=ƐJd sfF/ho `G\x* C[)an#8w#W0Ԃ>?%9?Ѩ]B|2|jIRO"uq4ٲw+kkF^?#'* -?mV%v,ځ$MtwX78FjbMGT(k=kI31cf…ƶ̚oZ/ q=HB۰}lKpC%Uj]N+-[ n#X*M " ɧ~Ty|3ir+^'O6,.#x {^ +7a jj3x[8koqX:6&~eޣVS>L3¹E|4(+Q?mǏЕP-$?|> h7mӴÄ:s?tS(-Y,^ i ]g#yq!E":@EdFJCpڰg>i=?E jKo@Qў6o!DnBDn9mG|mzpina˄@ Zxtj8܀9m:"v 7FۿQ~CmJRj*NsU=>9p7P =iYa1yCl'~&Q^]p`W!^'aO9@ j,p4=u7v:bm"|Ci&)Q琺OɰH3CNV6:T̍E׺)b` g%;[/ ebaC]cx RO04ӧZ1L);<2nmA >/Og`0L\9+$ ]!j(\T\$Dۺ}KGN5_lowp؜P!fI q=mv|i $bE{WM"isd,SDTda1m 9 z"qQ2,͛u9V1w¼ũ8)CAw{Q$09˃VAıbdsLp]:H&*C2PJ |n AUQGy^O;u}]gYZ061012c418f9fec774c413850d0cea511ca10b1119126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3 9d8b4525c5f8c9207985b4e769e131de60d4e4b5  Corec