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  } }x9\d ]% Koenigsberg_Friendship:threads=2elapsed=59.430cpu=106.204gc=4.492factor=1.797zXZִF! .]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XS>k Ӕ""mv:O+zz>YO-H;a|Ng*Ϊl^ ;DM)-LZ܌y^7!^12 V-s@J_C’G.skZhnyAR_?yFeDC; S4MWޘ ň'tR'<}iZhr4dKNffW_ޘ*?ĭU( `[Niftp/3QH! 2H+$ЌwQH囹gYJ#Dp|4Ld$|7g?^E1_b <p9Mݭr؟ g)#(&̶OB,+ G,>X61W)rk/*ۏo9YJ~ruu\2E`~aY_2;̬FU"ԡ< oz_Ο*Sh1YqR3[8^nigYZ7zXZִF! ^]ŗXiɟC3zto?;Qŷȼq,S6NbhSbHPs-qwh 1R94lDcsq>9{xwuEѨKk O`Pߟs! m};V;1 #C[dqٜ> 9 Koenigsberg_FriendshipgYZ7zXZִF! ']ŗXi%90øXzoڌL4 AD 7ex*t=3SfCY G<4?Ɔ@w6$UHfct$/:6. s6ؔ*ZGp 6jgˣri?FF3Zl{ /AO/au[,@R?:b.N4-0 c8!#Zͺ6dnfjQ_{==CF󍅊7>S/:xtg^og16@ seh_ɷ;qOL镈&Z,eESX+h IC3DӱII!<.H>#=m5̲ n әyHDMͶgUom~#&J(Bz㼨XwY9l%sFVI ~܈VM.zRp )*-t;6 7[FsLbڐ#IX& Tۮ(nTxC`ߔ l]oͬLzƶ-ok;8(8nǓA00| ٽ4$wUd6c4vrZ&d2RJҐA?0E 9.n'Dv2}9*z$AatXpr7eީ)"'Ma3|iEWE+%'d}s[~]m)lPEaEzʟ-0~قj,Ml Ȟ"a]MuT1:N/ln NR\o0ijxWP KoRNB«\9: U$:)dFd:ۜo/S {Fa> r7[Nك]'kָZ %˰63pRbV}XT L lSiż))?#v޼^Vpry~N翛K phM+rOyÚ0vP91 z>o}ĮyT^{O0ˤƾxf "BVxy@Y56k{K^&zfW7dl\\\,Jw[?GG>4bJ$3AK d%bD:ڇ# #̀fPMFˬ .R,K6_^9\?׭ӤUdhh@>Qh;Zbc<־-F'nv..?< :NTrm-4O< A^T5˦,ib2 莪jVL`uؖs G ;AC )1"NV>k}bxw (4 {"I#g*R3G\ɺgڤ]N3\GYAF:"Sm[Q=g-#h 2l4CL8~Y_JoZYiXs*|W>E~t{W)?/ӪTpS/L눴qVgiռG'Ud oW:B˾ {? iD{Ǯf]7 W,ϛS~*:uvGD !%]3r11)" Вp&mj8xBQmg$@%U Hv;L$i&Th7qǞݎB'0n3tܙT/ P`fEt gOƟǤ@`SWmhRAZT?,ԜҒoBóB; BL|9C1^ӕB1Ӹ)(QCY YM/5wC7:s;>Z*j^Ͳ=La+}!1Wm]ޞ83ҁz;!f5{G k4Df1~XZgLO? ?%9Jw@YA{I+`jf2шA)}kaI4uH!lsu@{Y{q.0ygw[7ZCG{*p*2PMn*Q /B% B@:K"-${xPM|nn||(;x`ZQg,) ]t_hV`qbp` o`WC~!432`c!GERHv-8 =\"5KO,VD[~q^XvCs-#8[)LJ-V0u7'6bkxNf^e>P9O1lMǻn) 4c0:]}㑹2ڜ&$ mz؎V@ yA`PT&lXWz|)Lؑ5`tb /4K@ÖMKړ/Dl#KObܟLU/Z/Wqqɸ7ganiFOc .2܉ke10)tI +}׳ $ mL-93vuUn}\,v[("j'20oDXY-Z9s[jn[Nrv[B=gYZ6f7bc52825dfc69ca20514f30c0493530d74dbf0ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa 3b04ca43da1e5aaaf875b679703967747f534b02 8e27baca90881847df66b1c766f57de6f2d1fbb4