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   jp&URbt((cgAhsrXsCQב߷s$L>6Mnf^I?Z *34Ko`J{<eX_^dC9:$ oY54I0:)g3cGz?.DVA'-J l;t÷rݴ&E+)Rt4趟Gi5 ҃Na/BPzeP m|s [L񴛼H.mm RI#G -F RBTcIԉ/ I:I<9 _~fZQ}^)GPls,N+fy3"GkٗS\?}ȭ!ЏcC9J\[K)ǪA`~kfҧB5b3- *azgm4ئөEENoec.3iG"} |K^;Ppћ.ʘ9v'+[oxpU3,]b;LH5~I+ROh~\rOZ7yJJ2Cd%%RDx FV22]gA+"IKRͽ#-¿q2̀ݱ{1 )=}-KG{ Wӓ&0K RMlV<ȇaJ-Wg. :X.3 K|B9_r:cNt |֪9 5ӺQ=w"r 5m751%Oo^db1v&/PF?Fv)5|}j19R; e+ YH,8 D(5:^ pY,BmNJ8Iuh_CETIք;M1cM~^f 50[孝Gj:"sW9a4RkUrH+9*ɀ=@pBZJmuƈPrZ d`Uw/0.& ѵ@g(Euti(-,MFhXUC@Xp C/XpME ¹WdK"hR)#(Ym32wx m/'1 *b%ol 4*nz;e'W .j8ة`>BU^w@S7012@tO>Tl7p2Z;}[viMH[@=l&7}MΨڎPUB^RACyI[5(*Vsv}iMLv'A"at&p6{u%8Ԗt͡qkNtH{lt:߽AWd6oT@@)磝'*&MR/vA癯Rq/\JGJ T.cSod`Yrb^$mv59̫fǃx:0 Jp>o?;[VQ3R|,^tH.OjF@LԦ&wig^uisRf췄Kbcw~\UyxV{. M]z|x﮺pAς0"Ker}SŶ"`yeH<%a"{8@cұj-o %SQ KeyZC:hub# 1ɬ͍m $ãay#Qd!J5%e=2Jo q*.Őn k vqj+H֪d53Ѻ\vЪ>_d(hxQ|Dx1QYѴGrꝌe(p]y#) O* XҶ$;8bmGWDC/lH1=1CS;x[ZZ 5O5NA IsL Xa<۪[5BC%(FZʈ [[zxORttn,Pb paP N6/vR\ґXw rYf~sL*8z5en5:@\ L9M2Z jhQ?]VWMAB\.^6y^(iGU'Q 9K9xQZ $,F'v'aϲeeQ ȾL-I2`O*-m`+pPt'-Wu悵v+1w%b>5ҽ-֙%5H~uyT#;[L;UC_#{fV>X%aW5)v3|4$f.%ݝS +xNT))w7W[d9S  M WdN'DFv⊴?HUbPa#/1!c.IAp#^be$҇ULj”WuP$l?{EIC52EIRwʼX+9jH~@ajRD/9b{v_NUK"FpbgmI ,7Uq.I\ %$A;7Qn1ANK'j?пdhxryv)X c,d C*UtԠm\KL:ڕQʨn@7Rŷl^L;2Pv*B7:ǂ\Ukaab福6,]綖#f͝yO HS}rL'M-4<Ana3wYXvU׊W7W:[ApIOR&E}&4%M_bMjP>ZƌAh~y rHL"A lAp)7(]3&Fz\w{}dj 86WX›)7]#Sk'(/Ew Ң=|k-ÅaQ&lc-86xfs1ޭ<,$N1/rmB=;BC& ?3u9c*~cAƙq͋<=TP$n..@hqpOTũɁaz"6p01,.hxZB@%M`[xqez&T\[C.dlh3ʃw0A1Ph8RrMY>0pIpW>mUg" /$+&bJvhȪ7bU */ f8mum* 5 @cXe8etMQ+MĕZkZ֊P#RpT&Y@H]~JExw 7 jBDrP]8NS$DPKVR]1MfVMRв**P0ɲ Rp+ CF8{.jo&D$VfǍ/8ȩyRhñ]JA(蕺mu4 ׁלw }Y3C2XhNmΩG[zFÙS[4 B><ޏ\TQo~H*z/nd5JmE7g1 |zO_1qEǛg:wO f zZ?m🿓IbCTP"#l.򜁠G";šu8~DOӳ XM $hP%5qxT'q\ Tc[NC$ŬJK%/TR&yh^Id7M\xbh|^3f!T (x$%|B` {_F"̕ r J3d5n鮵9ޟ.XdwK45 b 0EgYZ7zXZִF! ]ŗXiɟHR,~3OTR2϶+arGUkF2 5!oz;JB:zIM+A M~] &N^ xEٍRq9K,nW7T 0 1'Z|t5zw-ޮ1ٺS>s5%"7ϭT4r&?FB|wuُ#mǞ#@?Xg"3ȱgYZ7zXZִF! .]ŗXi%L&óNr0H͙@V5zgŸrt}tӖkT[5^8(8|H}4Y5*J fAD4/r&?ځAn2i7:D6nuqa]N5$S]/=Xux