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 [',Dt ]%]Sepref_Prereq:threads=4elapsed=49.706cpu=112.212gc=5.164factor=2.267zXZִF! I%]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>Vه Es#vDaOL N薈',{oAS>T汭1,(k- u/:Ծ7ב$1MEP)ElOMloV_Mq4>_7nkh=ΒL62l5TCدݠ&k{̪0R-h*nP5{Zd늾hu KY0N s8#̨(o]u!#{\N[hVSv2lOD{ Z=*@eْkՊPd0"P{vQ/ex?R:V?PVd_7}f؜;`aFXlC`+tfx2"}7!RxcəI(vD":Qs2 T(v=> |g ϴ'X9&ՠΰj;)o_Áf' (`쇧44b}~N*H*%%&"&c;>;#󧁠а#Kr.DTvLk C lH\a'#%  L 3C -D6AI̺I-8D#oRMz2q sVmn1{h#|@*#\*rowo(/WWW=| &yJRP? .Sp.Z[^u6U-Be=yfqO:λQ,吣f>TZp!8ئgnD`/}B#*a΋LoJSr(!I4͟O etJvtPbGi =2Hqq)AR+cPʪ8r2Ⱥѿ0RdPYU~#y%;'yHm-N0(戵)5'Ϧ g3!@FV3KWTecbRrqHt-}1_- ,ؕC>Ysm÷b BLey- p2y>>Bf/ [GRA/,@c9Ÿ'2Kȭ<A27W#kT&EZ17{Vb ' Sepref_Prereq  !|M6!,Cʧ-DY q9{$<ݠ-P{f?ɕ2v/gU|nf+&44x#i(^NDc~Rᅇ>.bo _E\{"LzUwӱ˂f3+2d]!~'Q7x&yk׾(ZVΊ3̀+:A*&sOojQƞ6+M7guu\;N2 I|iXbqmւgVg,Lo `$2.0X_v%,c1ꀑp n ?* >/p s2-.UGTMқB[O9.b f;y2_Y0U-`+? 8j?蝄)„U0Z˸r~FH^d2B_$ܡ"dCk0?2D3'E@}NkkA[ RH`)1-x?S2fqeS^";~6lMϘ4KBPŤ+Jr=A] $4'`q]V.w˶\6V`?*vŷf*"iJ "I([ow>l8_vBhbZ\B,f5.<RB]>ckO/'k^B}%RX_5`U6lɠ|dwSjEVN:klxzn_BX|Q .ǀ2Wڶv̙%ifPrA"56׊Qa6$a#%6@wt_Q/dlwMH*n/u*S NFn2nǴo]a1,a{X~# ]]$,Tp4n\X}-Ě"E[1mܢbyaQ6[̤f%{ܭGdF2ɟ5_)L)"5 ,_ZDجR2]չG#`"om0'$]C:9NLKgĵmj!t0 GH6Jw?fZ*OHpEM_;mcE2ԭiz]6]Q[V#N.[5tγ~T8oZ`e/[@DʸnPǑb t//NT.\u柽sGIX24XZІ#24TM@QSª!V)Gs ֋zWmZ(I;S:2_[H */F%R1?1h0}68{S3y|: 39a++`\*~7L`aر_4|W ^0k7NQ @ڭo.?ȷV2k WHZYSmVEar5?S&p82b׾fIIA,H2OG;lRɺdI]Uۡ6Z'Sa",5>L t@љvȂ34_(#m&H&o' QR;Z$sFdU4]`P=GڞʍۿBM0 iTӝVd`~i ;F.bfxQV?/ {,ބ z%,2ܻh q C Mj AĕR w#y*͸eiίcp;O۠dL,-Z- P|ٟm5{Mzz Xk _~,}BHQ i°5!,zo4=NdAwaarO.Y^M3Z 5yD5|:ĩ(LϛܸLF JX;65TݸWOi4ɬ%u&`SMw|.½V  8:q%vG/D,()1R]"né+@ih$Sg"͡m<{䭍p@n&W ƶ\nh*| 7;'Iu>Q/c0 u823оJdܖ dBS\XGs1V^i5S/uqHNW(`c64[MՀ"͜;7 ybrjS+#:O OL!]X[mQ|2zaCk[@f/UKF;