SQLite format 3@ - llB77#tableisabelle_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, "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 \$  IOA:threads=6elapsed=7.329cpu=30.256gc=0.908factor=4.137zXZִF! Ў%]ŗXf1-qN50^ ʕmy\5)NzPNzMr,HB1yo0Fh_`sǂ*^ͮfqmʗqҿ)v8xD4KQVIH䝄WY|hB%so[[,AN+cT@qa.c"U9xqZ /ROlFMt GŻ̺rB؍{O۱v/k .)* ^^&נVQY4Et̢C$+(Xěcԫ^.h'X0쩗~.g:x.sPS+H'6KYZL) LQT2Qٷ`r$>iUzdQO=Tv弛*PEPd&mBbCLONՆiUBX |7v#y-lAO#|a;n@qqJVdgljFT܀lNr#f:KƷ,l&gqXu.İ@cmjQќMǗ9w)Q./Oi;h&. g50USsNT;F7,@7# ~RfЕ^H g0n эϘ1 pLʄ%.il01;Ke2QEy5# aM\ۂ&4  IOA\:|OA31 6E3m¨]lt -Y_*j* Jxj.8W <.2VWW=ŞګH+ٔMXwU;R(L/2PQeLy*w[ބ0dda4`1mڝptEM<# E j&&[B@_@a.׷/1Ūš'f:>twfXzyˡo,(ӏi wp+cEј_37@ҞnR_<9˥ :GwT1a3Љ|o^K[lLYZE]:YxJd`MFNJܗy`k򶗾b=f{,6M'-IUAF 1r&>/ v$EQoӢGg v B3&\uBguIF]G!Ǘ>F%-¿u%;6L}v C)R/(AA$$7G!+R|Px\'TIHHTF`-Xi/: >jSy_!n7vV fه{Y-쮖dV|IsAZ:lCq9k0n9~^B~dL];J 'M6 &FahhL)V B Еdp',d{%*wP9 (kb7(ZR yMqс mcMUƵVJSW&99#6miMghB 8zbnky _KP6.-!_Qjn 7`|)ؙvj9eS|WKhC#ƅ1qi!%]{aϮ>s z΍jk3:JrЍ5p=`R=t7GWөU"uJs ͦ]Bt4пh AD`".2 Ah/De8+.*`ԉ H¿E;dgB/8hL4G cL"˥["+YK<4;Y L>AGWqZۅi2JJEUp{ qt)?A6-. 9L^ !{y$mњS|{SN:(I<Ϯmn$ܛ:a! s ?EYJ(8|8ʇ'i)<lp4N͡DcF^xu0/YpRBc(RM=W Y>_ "fXmϹ/1xhh8H{(5zyt<bk aRi[>= vtc ʼ 7~=?ՏFLrR zbԌ1[I;V˥ђ:+~m|"s.@,Z ,ntF6ĪJfv NqЗ/I'LkUQp}D.gѶMLO[iX4lkgKSb8e,?sqbXCc©dR[U\jw_ͬn'?jX fWڠ Q r&9ܫѡ#찱a'8mR!of "l)6T9l)c[fkuDzֈFj'lYX'g‡e}]zhQfDkMq8CJIԿ Nl00 j]&d8d,V=~% #2uv*BSZb y[t|-wh6ysdߴpfz%4PHPghE r\ryH:ǰXTQ3'0Hi~]w9Z+'#ԆDTPQЩI^h\*gBt;Z_MB=mT`p ]1Q28D_vjn/r967ꌆ!yVcdΥXq@ ֊5bl2`1 B2֐>G΅xeO/o!DVҖdUKܬT')γ:hIRVD(QQ yB1KJ1pgݘ'bZ*dI[^*@,nNKN )oj~͹K~n!1YGIC˜/OS4_;huid20҆Q9w+f&?=aqaÕ !%Ҿ&'Us/@ T)C8æ[o HBaN3P1Q8: 6"@-Z]zEW3^ mnރudo,hf7>O?g%G 4zs{R'[էA:I:h_Snxv^ 4<wxw*7>~]`2AF=+4)Gp_+AW#(V+3` cAE&AI*8m(yؑ8<)~ɔVYsmavN|%6))EO~ R ukI%V`rwEۗMHxIo{Xy.%&f8t/Qh$ۏ{S֋G>njJ?"?v]Z{Xz o2O| p6z'f(UVFD)M1ngxF4۞ʁU@!S{4A(]rցmf^VovrKCE%p)6Qϊ Fsg hbu άl1OwU g6ͭ21S3kwHvax:S.. 1anI~{N * oަ*-]>aj99Zgy]0_fr|,#qԶb]嵫T}ڏ7l! K4WV ]2ѲT,%Z1 JiD+aoL%\ KL()ɫDFV4ip &F"gYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a1811240a6228891797c17fa31e571c913021c7c787477 38ccfe9e472c45d1c011603729384e3a62940f93 35a312e7bf5d3bd561f5334c1c4115c0325ed932