SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 mm9 4T ?/ Locally-Nameless-Sigma:threads=2elapsed=34.676cpu=68.644gc=2.664factor=1.987zXZִF! 8Q]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зʂM~x\#\>MmN0]_6=z@-Ƕʞs/V#9۞ʝI=^X4ŁL=ZV<;Oʪ,,p\[ǘ|.2qPD.;L<Q6#Iy\TK` u]b9h˪с"T,w(?oZ/ |([(9#O NBOި#Z; e{XP}!.gcusd1W: w??.ItiCRW"8N.Gm'GTt&HtKII m)2}JУ^Dz ; b6?4 Rp.d0ʦiW3]`k~TlP1ˡBxK5`&NIloY:*"׷>&ϭ5Y8TznH|ե3_&_H'n)8^Ľ2slMpHo5WxcFD6tŝeﵱp\1k>sUJ~! GYOl@XZ%(qfz Y®"XlBw|" !vt0 \M; :W+DщxC.a:Lvɛ*7×Ոcg ,̉o2k_hG.CgIYԏTz0c[YbpBRٕ+sY, ʫ~.{;Ni+ 5QDִ $MM 㴯ds~U3?8yx;%8RX\5|. N~/lRT'M:=8iEm /DtDcq,]}0PYDžf/Br@"\RDJШ6c+,b~\Xls.̳0`GOmŠ_(0jc|Ao˹`3Uk$~DQ td˗XP nDM0Hc&ۼ~漺B84;/їp]yQِ'!&1mva˅y丰 cu2w3I]sHwRz*#$ ?Q|rTӔow={}gQt*.h5h}qz\6z=V`(FW0P Ǻԗ"ض^Q2)M5f¤i0aS.T|? VGk~D:(r)iWUƅ/j*uF6F,Bt?(mhdDY 6WABMj#xᕲҀDjK T0L]W t6HUt_CBʬ htt !66 G]qZqsQprY>>3[*Eջ@IF##ih w]V'9Ӧhgqᣉ FHl 2/FC |\0GڊHJPS cÏJ0e4_x]Ņi,s5 3dk,9\{o&M/ng.䑶, XFFnCXL 'zs"،_GT(Oxj:=\Qi e+hߕ{scY/(/Onڤ0vީ<|Hc]YZuUSom 8$cƙ4*l"6Qгļ+؟Tׯn3]xm-B׳bC(v6w{b®\M<g.KJ~NHq:3bV_Nη䛻S3Ҏ!%.Wʠ޲|Y Ld̀DGaiLڈDDrJ:j˧r <˃Bvi"@)+DŽ^+X"9M_ lefwHjFXT? <8@"iZRQHXVT?+$Jk> fN7B0U~d3b+="ň&}ña DDI#ã~"uGvl)}sr]jN^ r3l;s',z(Q}?ظk|fB (&\-QRѡ(NYfc tsٞW7$o@Rr2t}91uįTF}5`~%[򝤢[|Tv0@Xs+-1H0)_!`F >OBnfnrM#"mH+PjidFD⪢0b;-I|@E@^U$ɟa9<Қ\P9 T6NI\̥C3K .Jr΍BDֆD^H,ڞII`bgYZ7zXZִF! q d]ŗXi% eEj'wgV+Ǝ0k:cXͥocW<@LQCk]A)Z o['Z+@I8 tU&Hm USLУlSsz7MX'cǚG@ܭ@?;5CFqk _a=I[wRyi >38SM,J$r*d 3ȰJ<>ƿzUB6 ^#ת:bz˫W׈G2 ?!=~gYo?A>e5.8[;R ?M%~n)e?]&"\V0 uӃJ4mMȑIWLfmWr_ "ό7ҶAs'7j`tΙfؘUF–٧~ a3X0m)\Ͽ{8'!LAxԪodkQK lߢo@>1b0x)8;s)gqgQvԂ~{%OPoJ$` |Ԏ-`X)V7fvفbh,Nc"y^Tq+hX [=9.ۮ9p|)1N2_do8oj.||^Gg]@b R5 $"J?Ϸр,}=KuM_§I\#n5C&m𿿚8Jً[4SXq$l$"[i('褑6lYpGIY^NdG܂˨9Ñ}` jO/LިFwFdVx_b X=h8 ~?/^'9YzEt=bO}i\Mb:ʹbWYC=\ݺuҭ UrBI6V8+~l v{dJ^RQ;@sNO50"aR0S|o{>)b2~$W7`ʢR)lu_3gbmTjόE9>t{8~vUh<:yt턞zN]gxcA@eߘvpF!`IVRV?jH:;{S:O\~c͡2ѲЄOR kePϾq){B %B2 T܂MsZ<]?'v Gw/7lť'I#LB]ãt61;9dhkw؅PkHJ"ZA]12AoLP[r6ZS&1o9,shULG?PRPg yW_PNXeašl|r&Ef쑟Űr0Wx%4G:aF'FbE@N mktČZP@Y4/*BhdGU2QzRDR$%0G)H| oPhqGbyz\p $#֕, &K/MX!HZ1<Y#⾃ʻ