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 } TrSf 9O57"Yg *wU3{_gIm(YjcmKxd{AkY,&iѡ1_ M*O0;zQ92y^D-i-Kav_RQFYy'L;V E7BoZ,_`髠o995sɔ:^;+S>lr=mwm@Y/eΒs&Csߢj F!Sx-WaNw (*τX٦aȩ5xzՀEja[v:=R'_M;96IvG-X3 :ײ_pMvt4SHiʒѰ&vrJ^adǦwx-L)N:}Gf_ݨ )K/)a83쇝7y?eDf>c;d+1W|I\w ͟#kPAfT^ㆥpEu@>5ҰPNvø[\珼g_OEO,ZjEM,!6檟2Tq*k꽼m VLJ!2pR鳎O%a;m?Ӳ ` ylK x—9;X b̽~2e>mVzanpS'1Tk^<'5'_v6$Od G[f 05≯LTXlf!IʚIWKRi .*E72L̀#`* :&S<'&Sm"@vVvzp (7x`L{Ks;p5pcU^OfACٶJ/ԡ'L$LKG/mG3M̝ۢWGcU@`O\0-;9XBSo$Ъ} OSJtwlN4K4um5_&J 2vlD\:^?y߸ۿ. Ola;ZJa{J=~_J)Gp"*O:/abbfx!W*#AsL"{]~  : R{_K'Vs5IË2~ݸGMܞ7q}Suy+ǤDNVhBzE% TП&E Etd=_\]з3eK%$VNnaJ }S;4rA_ qխV9I91ڧH>c Y$fd @Dk\6#<)J&]Ȫnƨh$"CX] f$;Λݶj.]U`-uXܱn1؄ᦓƲJ} GYD_K.u b|~E8Fw% 01(HOkr=.J9kB (,I[1*_گijdc򧎹#^ 0QtQ&%+=MlD2/qPIKVp} WH}aKpfJ-U1< 7D/+̸=$u!Gt0L¥(ۃ+MmlUGh!XMYE`&<9s[6u }R6c4.Mly]'ڰ' >vRsA.ۆbq!uDk:,(tu7ԆHIb~k[bqp‡K [v!Yz%#~X9CuDw#7'Opi'וad%wDqgsnG3cOrnpԷLf$[Wi}jPKxeŦ $*^[҃Čq&Yve,X+Hggs/ `lr@z΍IQ6' 7>+R+!v-v_hJpq> oIQi)$2+)HG^W%dY%bwʺ#n;K[z-/T6w u桠z*==fI&**5GaZDO4Z4&qGGنYwbvsa?MxփUDxS ]b1oj.sY:cR>*WoAWfL`ͫؒ(7թ}ԌjѺ݁@ Q\ZIW}C [Ovu ![dTZ\m'T.1t*1>2rB57W LCL+wzg6B.U SJ; =IIgu YӴt>%@\qg6Rq/Q" dkOƦAp8DD0SCw +[R! 9(!gYZ7zXZִF! *X ]ŗXi%>,S c+V.t!#zbPB|Z׿3[?pgIk>y;J^!$3$qDZ;l T.B}V*oɎ\ @4Tix@L$wόS]_x=7$"vOm84[C53II=D5NǃNm`ʺaOOl{wQK:4383Wheϒ^(e MB͖}r  I: e.SAYLLHZ4X$X(̭)8<YE[TKU_:h/Z85S,٦ҥ#ydViWveGGxq9&FO=Pu'ט. ƽo;GDVс={7dG-q{[2葦N}f\uj_x"O?)-}-q5;/BG0pp@~MzO#VNJaUc4x 6k%qF0ݨ6yOAwl ]TفMj8j)_Ef>u>!? +Ô3W4kbF`^g1@H)",Nս !% SɅ-'&zlgƆ$h+]2Z85Zt90Etː.#a(B~,wb{C%QnA=9z(؀k +edDLiO5E%; aҲc{e*e%- @S8Ƃkh-\m5Kc͌;J.Kҙs~V<7 v'VskV0$/FTβTgYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 32bd998163f509f3602e3e88ceec26b18e90d051 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 d06178e782321ded7086c9efeac9cc640997a31d dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a18112680aafe9229ef73c81f6b008c602c3fae9c15e45 03b53026763bfa23a5632c7d7b11d90f7afd0248 1a543ba05cbe2c319ed08d1d157a73013ab20119