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 ]/]Stone_Algebras:threads=2elapsed=54.641cpu=92.060gc=4.068factor=1.687zXZִF! =7j]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmV=4S3땖Oh^GqkPON%Z/']"I}n;ҜQ"Π4xjX}^ ʥkMΧx!!+,B>7++$ FsKf#8!i`-\ZptQ[R0" 's\'9O y"=0;TsB`ʵ/C1~ OZ;zvh>+[gFf^b-S)&۹2 BqLO_M~C3,M`Մ7@à?U7 Jӵ &0p3 Y%E_ 4[,kXB h5(NڶڙtAxTx77[[[m(S {&[KcP{@킶n}a#I7='3 `tZNL"ך I:mCƗ8k7u)W4}۩{a~_ECgS@I+n;1 hݥ林e_6[I"]&'8h) 9T,ƩZi*;=Sɰ3>w|_s,ineUpszS!3; <-&f;YX^JDtF8- \~~;>z*e |TY!Kױo Ij0"݄P>z7.;֛Qpɨ}݊=*"z=Esq^|==9*3w2N"sxߚ k pmUMՂfr{V +H@y 1f+~g p*oU2FB={5ie$&%iѠιYB w|4ɐ[ej-@%$ $Ah9"4՜}s_5>o"gD~%v zx+JfӌM_j, e8jI5Sibk!X#(y X:Ts0$<^(İ1ڴWBH;?Vd 'Ч _iuEyWF*~1$g=2kգ=p\Y=($)Zbg28$e:* ,/YTO~:Mz }j0wsS@N+,(ClE+r<\6ԯq&ɰ ֡J j@# zS@q4_ xI^isBFcd`yK\$NHcBܙbBRCFnZ,$2 #a!G mKj"IaFPbKL|v !2 .DJ0I"PE7ZmQ*vvdػvԉ^?yZ !K!~WJ֣ȏЂUf){r4&&Oehm}g[d`ȵ\~; _tC}S`hT.c3g`稣꡺8)%\ko{ʡ@G9 ٺr8r,1 B ;\Q[| cr*SThƭNɝ]T;#/(f/qfcV6PvQ΄R{-L^*3ҰYJ([Zg'_e/鋂m;z?@CyVY|1ZY}y=7jvё QHOB_\ulSϠ JnJ2Hf:w$GwkpEO?b:4bՌ:XHi-%0QD )(oAP3c}p\ܻ^OwW^h=#BhL]k.;V< s䡨d@uimM?HAq-`pyhL# 6Ȉ(Qrxc.7LEDngJy!h?]<5y=( 'rɥm)^C<3F)M]ݘx2CK]*:  5#rs8c4/%ޫ&|>| %G,w)|3x>8"l~nACp}`@c^]-YQK|=S""4|+l>zv.iq4S)Íq5Jq gz濮%nOh È9%4NYL| (s1d5IJyOG&8RŦ6Yz9DNCcy<`GS;Qᤄ㺪'e d~aA,lm섃#PzwLVeSߒVث;pnlx ?o"e1 y0g# ٦y$fEGaLs]fî?&ɼp?:zɶƹ|% {"+q*K)K5X" dȪ9M^nH`sKtϙΖ~,Ʒq-_U/,. d $G\^;1d}iYPa  ؗ ,_rè"f3K Ja($1R3Zks%.?VМV4` w{ N!h0 ܓk$ܒFIu E#ǫP >gYZ6e456f25787c37bab5ae664b8ca306f884f64670a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e399037495dd4d5858cc81004eebad21db97ba345c2