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 3)΋zkz+e*04uA@$!'\2XY`.?Ǫ7,~~W={B{l1+y4N\d|{tl&VtI0@HY#4;RvxhTN{RZ51RBnw݌*>!/ ֶOƲuSU}hyQ%H܌xL'$WW$T9z<4s5 _-_cW ѷ~Q12bdv*:2C6Ԝ^P_)Նamm9^:0r+$/oCpO|t ZCQʼ^cؑKs?i?m/Z/Zz)I،82iO%SOSE)_R{XE0Ba rF ٫8yep=>r,8:OLDʑ VUx$ b`wsּt$!A#Aj7nN^6dNϩlV\YfM4׸X =\b*px4X8]R;@L*fp@o2l-)R[++a9d X3_;z%^@OVu#(UИ /P/R9ы´,sDM u;VEIǟ^ b +gYZ7zXZִF! ]ŗXiɟy<LlFK*hq`hTS(;KSIDexx*޼tt;R Rd ,1K\vAgdY'ކs !; ,X-oZ0_atb@=c0ɐM*"v,6+ Y&&j'hsz t%`'jtdON#JӝGǚauȺ78G?PaݼiRSLI$}>Pnll}>$7R`8Uvr# -[=RעB^=!Y:b݁('L|RXNV3ށ+lM; 9 f;"Bj,ĖO1xlaq=,푅-Bp9d 4 +/׫|]f0>e+n&R6P}r!Ks-b#wqEwi"8_Z@_ͩ_yP?/7.Oypy$:=hM0JaUZ*9{% KD`p,}/V2MHWuCd=i#@qm6\(-ӓ.ܪkEaV?olTHbl3>Dd߮agYXYCbH g\%Sk+] Vn1OEgsAIb2w]*oU$5u &͠G4:I|eB:!#J-(3{L5E`(?ɕEV8h{= vYf,BUgwa|E(@ׂ>2 77 ) Twelvefold_Way  ^bѷIknpI{_%An_tPRϙC|?BAyX)gkV4F.&[?\Do &9o+3Q& UN+mCF,󁞳oj3Ϛ$-O? ߟXHTdG-S.0K۾D30{ewO9)Eթ%1UiΚ2URC?zɠMʏ4Q?o N篧*c%iwؙk[̜5\ TZmʅ U0A*V>iri+-_+TO].ڧj!7&8 O VG1;9ao9p;(\PkȀJ]rQ7"eQXJY>~k 4vcR,v!(V;{f։mi!9些5fij]b=2 d ٠}l"w+Hr@3Vc5ݲ}*)XTaԜ)7(tvxUuh-0=$4ȋSuHKcQXNSj:`BHMzP5EOVbQٿ&wM:hc p!7]Œ ϵEI-UxHw$|pn^kɤfyԃRܒxC_ӱң5Σ/f~֜keި&uR()4L}F(s6][<UeXP+LPR) _TUk&ݺ1^\Rc"W9qQ2\WҎ S1dx|x]H&HX1T6)w+mH€?}|w ȿCz8R==pN:N!P&D#Nϕh,{if#I@z]I;9udczOujMO6#RX:oQKȦ,'K2 p$SEVzlo%$U!1| ܣQHW+th;X5 YUU>i5hg!o۝F:izRҘk& b ͔`E5&A}aр k^E7 f Z^Ic6}\I2"8{[F>CN\|`E$-&FVΙL(;޸K-o.r`B}$TT`_P4eHTwr4 }mm gUGR0 +efMvjFqlTrxrkr NMA1Î5aK]{&RgR۸='JωDae@}+O#ڹ:ěȕ~1x㕣u$3􄘖:N,^]ZE3 d5]>20oe1YF8Cưt] kZYƙ[gc _'|SQ$OPHժ7N ƿsd3YXC\IEAW lGK㶆-b g(awt9E04R ,{ EK.;];0Mʎh# )r`6|{8u4`Ӝ0R,mǫ12C׃l p6K%,/^j[章lO"3WvK%_f K ۊ`~mU*%=LOs郩`UHH {*Cp٘S h)~Ccpf~zk'*5 ,B1[Ksa `jM_[eTq!:O(ly; %e!E wP㞳 apC7ޔAL&l&fZRhuf"4H$= RA7+)U'?Y Ɠ(td*9\Z0|GLD$9U* =(5[%7ȄօR 81a3ճFW$iV&9!7pMw*QlT `QjhI&"]ؖAe'_.ʗ|DT $&7dhJgΝinaV)냓Nn6^o ú!OMxJ)'mh.wI!L.ᡖ$!8]tZ| |O.+ro%eFPc0I'n=V3x# 2P >E: &$]!y Xk%X}\̳AKẃRrhRTީ_>,.⎸B8h~6+?w׌ `m`Ww-K!B܅z_ŗ (Mqa(C3] ՘\"{Jў4d 7&Rr|B=?d@/ճ΃+L7AAS^ h*'I_'8%uЈr͔^)?,hxX&Q*g="*-`dW$1K,N1Yp>?.DØFSK(7,)V#d3kkj]`߳Ԅy@l/<ΤH9I-$Hy"\+ni^9B2fV|y6>0q B8 7,鑳mmeȍװsvhTXE ϩC{hi_Cw$B6{%+AgCCцP8(vR Fh;r.]^%56w w!@,X]Co7.E@ :=׿KJM13%;WCa$X {Q d( ^Qsl2*@83~78,ZEX-&8e|X=I Ź*˩~PXG) lsi܍"y]8 Sn$PiO*l`YACG^}10{FTY3EKdLkHiJ.w4MD Sǻjz[D&*(%v#bs> >`t'P7 >6GLbYXc9