SQLite format 3@ . BBh77otableisabelle_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 _#$|D ]/]HOL-Library:threads=6elapsed=62.962cpu=324.608gc=17.560factor=5.167zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kzM^=٧K#Y u\&s};rWe+J 5%Ҳky\wV8c"HGˣ{`nv牑8&Uq?޸'ƃn)Xs|RyCun0 En"uv{;v,[ljW?HMh\20DtS:5vu[aA>_` Z] \\tj(O~}|g`Y}5gJ"! ndiƨ|HZC$ZBk1&i9y$7`T*{~K{WMuV6CսRՈ @}w@8~`^_ÕkNP縸=x( B0e6)'>n^X)Sy`z8)k %_7 ik@mhctCi){[*&9kr;'v횃9Ubw\'oJ77)% F q͹E!`2}tggdUy6cGFL Cs>k89RE'(èkF& _= l: yiI=1*W dSNBd竺5htتr9@u:"sw7x0Xizp 'oyD6#ǩ~4 e#yfCE[<^Ti 23n@vR" ?JlM^C$vl eGg$cCNcLj2Z'YᶁP]C#4^&*!?næ5YLN|u4Qr)Ȼ%i {-XyZH:b "0TDp bhO[h pLFkc%**e>)Ҿ>vW#?f1 >ۋZ aW6W7Xwͻ{R?RKRRdd"$m|g ޕFhaT-ł}x{K9 $RIo[m? 1Po 0b? 1U[gySDkk~HK30{ B,Ԛ#GlJdˊcZdŘ!~+~3.:?%(F׃}(Ĩ>(5f[ԙF`*:1 8XSC.`6s55C7票5@(px݀^gRCoVi.(¾%HEcmk0˂I(Шqxrs/>U`AQJl0z Z'x o~K[GQlhѤ{)S 8v4ov2.j갛#O;W ܩF eLl ,bOi)l[ZD gs)AV_FX #EFWZOz.Ι\ 9wU^tkQ"cҐˤ1 D]WŌ#ЛZ"  #.RzȓჄ!l_:VBo1C1,I5z i2\1P[<[Gc~炟 ͽlbn}B&Į^kMSn?vX0TGsvj4 K`,&f+eNog`- >a ]f#ѿ Zr~T,ўpj8f2lY9BhRN\~5 UN0MS8/Y_x;xV|t'ɂ*[ YJˊC.Be-'|-f?vfGմ| Qڸb,8ot"b05iYH6~{)&f5]5. Lلb <>Q) XhjSvOisJ,zk)` ] s_X8Y&,%_̄FLvffyqZ~] eaTۆ /Hp*/S‘uzr.XI5R߂#f!*L* ZQo.xɁJ!WeBMhuwem٧NV^}s4зɥŏ;mo2T߃hU1s*ҿwygI>dBLIt6_c120'7?;7u?BhFjTbwQ,7 ])cB%=A% m"#؁y{1% vq€X-XWI1KJ=fGMtL?%VGpAfp> 4io{pJm "e lU FG>;?SaBE5R)`UTS1~T'v1b~F.8 " +4t{kuگOvLViY6 Gɲs"GBH*qޭ9 (J пdXa.)P|ٯdQ*x,f?扺':?"imNjSL:3﻽i\E 04iĎBVsNV{CϹ9JIt?eNA^R@2@zm!/\f4yz"y褵4]<2.Oem{wPYȺw9ƕ1gA2_H"E6z<@/>dZ ݉`M\725],H-IJsN/iɌ5rQ_\l$K]aZ 66I55(hB@h2x5T^}N͉Z.rYiXRtk16efc-?mh|K Q1>bNn@efH T@s<6(f{O$b(f'kr3cv}Dm(*(<9DAꅡV{qd1- f$OjT߆!N9X"w!aE{<ϡkA{ZJzlHX1# 1({h!EDN؆BD Ǥ]Q:,[ D?)^U)y:MPF '.+fl]WVOK ڀ$OݻPfE}i-I i?pe (DpL;ֶftSP428k>&̅LcnjآH@#~U懿Z`Y̩pߧSv4(9D9 "{)ߞV@ȅ<@ZӴL<1#% Ψ/g=&<3=NK(b.ݩp=z']")m ՅUu/qTj&agƒۧ4OЋޅDgMzN&ANV/|f+|dJl%9sm84׼)[zu;,j~[j??"MR Qໂ&LV; OmVέmRIa .t=Z?'(@#-.`2.rxt|Bʲz&Նi~e%gG'50~Ro"b8o|b"~1C8ܷV6p qF-"=ʵzR!׹&w+:J9[PV[0 oBPnȍR2ځVڪtBZGgԫs欷qSS7J|p]c/( t)ŁgCLNh䦢 :Ϡj;dr ݑ`@,goJyS$zK0<Ĭ> oڃ'0&cnssN6"/Pg|J2jM x\,x!Uy2Br|nrdBf;S* `Jv7UAu?$ޭϭ->@|q;g7ү&3UbæUz ь-U!I!Wc 7z;Äņwb: I.ׅ!9'-'!mn Pg9]me)tތ"~~m)9"Cb"3EdGHv2$70}C|~`,c~R/R$F)LkWniTv!xi1zʽKZz7 FfD-A[Q5K E$n3&l^&{2x]}*~89vA\L+oéVUYmb00cSSyk ၭa9ܔD1RZ1!qu0"^ܮd3᚛W[@H!cDG;My2:oL5Ca$VCHekA=4%a> 2m-v`"nq $J5H %q4*%R7~9) |ҶZ#p9q!p&n\Foz Gڝ Qf!g2Ā!_%٨$77Լ*c̊cmKy;ŸiRwS (o>(q2^MN쌖QIH,Y|mĐPb3ZZ4G`̎F?mu3^C5;;n4>dq>̊*b R +fw"]~bۘ ]N\f㶨i!VJ jg{7SIJ6Hbd:O.)X܇tqً*J~+Ɔ^I)'ڌ l󉰞PV 0'#C !qDk"^׳UL}OkꞴʈ@ ;8ed~Ɔ}(֎(Z9%Ħ *-%ebuTĿJZp&t>ByD#IP.T9x1buYRT9,@Y!)V,>mGPmMϔY&cm=TXgFo'FVVDzΔ֠z~3 GgDyվζõ'BgYZ46fce85a6a99e796212772e6bf2de25d9ba2a96ac36d8f85a99ddc5a1f0d4a78ada7dd9bcbc5bdff 91857ad64a000cacbd194f827207b2944b8ba327e8312ec572e5fba9122cdcad68277f04e30d24ce