SQLite format 3@ .;  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 w1 |L ]/ Concurrent_Ref_Alg:threads=4elapsed=6.588cpu=19.684gc=0.512factor=2.997zXZִF! ]ŗXf[&"wxmsɮ@wy "ȗ9 Ay_kC&G|/l۶UtC ZxB] F+t( +`7U6tPrӯ>IQh_,`kz5_Vr6&x7ք`X˲Uլɪ^I M{'+'G~T2}W % lTESy4We|wdҜڂvԳ!ǴT<50 ,&(,F mY(|Q.= ~*7؅ pi`!Jd^uOr^lN{M!(wm|A֠=! Yf4杊[>Zm|83eS2O߸gYZ7zXZִF!  ]ŗXiɟ1˦r pt#M&")ohEdu8ҦM;6A?nO2[XJc$tFXjE[0:6?rSA,Ic(Z)rە׭25%<`_;RSJ$R0 PRi폊F{6mjGO hfAHO+P6aJy(9khnzԀ uf_  w7A CT J=cE7(lcʱgYZ7zXZִF! :M]ŗXi%L 6)?P略GC D9M g+[dU탍AC*浏(nH0 tѴAK7^6'$vo#m*BP/G\[ƃi "pt6qi#O?<- jJ&o^ڞ(b H?M5z6pfoxC{V!YHEFf"Xyo~aɍA7cr / ?Re|t`:{\14$ Kl.mۣ< Or ź\mw7kaV.,9j^2 6P/C1,]D#5nieärcVˮ`͛麴S"ѹ0\lXL96ALNW'$KO;r!lv{?$=itxa e4=N|wߔ]OI7M^"@EդFQ¸UMtqc!Y8SwDP&Qb?f?D *ADrEj۴)-b| _%3P^r$Aץ}bQFWWT@;3<@3V-fsȨ8սuOk[ wLl,rFob\-eigR T*牒Ee\?R;5i F<16 C)qg<HP V{RY۪-2ܪ\ Ί)n7Uz{gs-"o1?^Z+keWVw<& mo&=&OpC~kcŴfgz.i?BCf=c)'OùDU_HX$`Y@t7 HcA|?h Uldnaea1_3o/; qT,`;Q1