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  f , ]/ Heard_Of:threads=2elapsed=42.245cpu=69.136gc=2.616factor=1.647zXZִF! $w9]ŗXf1-/6vRZjVJ25Ijq mʃ'{sk:W Сh^=/ Ar#K:_$xT阨/I4#]5w~зr3K : t 8Fۛdccu5h?&d?G쮆±WIxap,4F9yZm)Y6وw:TJ%'U|y=OtzbpptRa`U:SN ә QsÓLmx%|DwgUt|ıR2$-wxKާU"zRyٖ=V4/""QgG,hOR͋z9V%48ߪ,B    Heard_Of  /hn\Wh!e xyeS`z\-H`򜽟33F~;lNJ6ԎbO#xdS  aěp&/6+{+N8;+s mY@6l&' o Nz"u3Oj'1K\΂H{-D_n|΋XyfBK .2V)qS<~ 3; M*(V ;1-Cj_:ϙMcE˸ԳKkm@A}뱊P+Ky#D#X?]ym{h8bkdӞo QL#60!ǝ ec6C=)Kh;ʠ偞Aϡ, x, =Fa)yKFbm":J>vFï[wE.KM1w~TcGyє/SeK +E^ؓ%21xHuz&u?H:%*.gmd=q#)@ٛ#X HgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14浞_5|SR5 `Cb@]n= ߘeT(}{]y*Z5/9ád?+Uys-nFwakw򤱳I5rC9mR$:RuN]&/HAC%b×SVؤIwT{ޛX2k"w U' `/Z M>%ǏtzYZsfg/ES Ԍwa3Ӽ3G<:}섶'em%Z2&Sp'dPw/"PG4!  zʱgYZ7zXZִF! f ]ŗXi%;CWE2󁳝qɌ/( /pY6R(_>/a:P$;vz(p|iu2[ ü/׋z7?'.OfqPFW"1^n;j-z~9rae@o YvJ'4^IHw\j=8&A!2yz` 麴ecBIJ :VÏbS9EM|Kmeص^ZOEt:!?, |ZrTE0_,=5v7KJiós)UfkTDjgW"I]*cV]E(bS㳿/egZ٠ W`wOAW}cJ.҈7CɏS%3(*;#Y,S'?SVOîX"Nح"ͳw(%E3?ehϾguHE๓e'QcxH@ܞ`?ӳ&m:HYZpF,:ŧ$&(F؊a,~@.Il$c^ٰ`2GNچ:JҺ8hi q6%88)Է+F6/,LRUHy~Yv6)E| `-j3EeLyX6VmJ23@:kmTH7zK ,fx!SJ;,k-'g,K !_0#׈s-c`:csĜl7E n?oV\Q$ lbeK^'zpd1WaLL@rCNLxݬ}! *,ckr40iPtTBExyM;B5 }1 jGz.Ӷ[}s 0o䶺AW#fL_.Ri34'~@fFZ ;Kqhqb}f:I,]~Lɢ`<#6:WU% 3Euc(,4&%PNN+~TeXz(|[ۻ/8,2{⥏rk<pAmp .=Z4p!N߭oHL&(Uk3s׬E]c[+חW#1ՠکQSb#KO9q G({o6"]6|{ɴ9JL`hIYcЎ:-\%ձZ7$Lʪw%XdMBɵ>"8-B#3*hFq čʧEj^)#N860p"af9ĊD1 7?gUuTͨ#%]0F((ڼU%p(#mv C5M} a\ f&1'lz8d:Y򶨜WQMY#k$BSQ)\RҕӼ̶ioCƉgnzNcX!,sx D9/ZLoNya3'Y+R2pRE@X_M ɪb16?L4Y d„a [9Ӥ=#0&0fDt{;H&X.tۯRAG@[''Yݯd~_4դ`5|!,h~{z"Npf8S,"~ۆnw Rqqu}GVoFm١ײc3b:>"O 4A)Xc[3q;{e*QlzqtnSD=#ԉh% ɑElwUWl|Tː||0%UQĞtaʉHU Ye Spԉ4"T'jL۞ԗ@Uܵ Sbi`Su2;{F"\d= q(Ъ=b@__KrgqU`3^=z{YA8b`:t[}?wPb)BXjd;Kȃ3V,R|,m xb:"3HgYZ7818760ace08a320869c5d0b0686a7f56b8c99baa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39