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 EE$#  5 HOLCF-FOCUS:threads=2elapsed=17.079cpu=31.720gc=1.144factor=1.867zXZִF! z]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SH EO[g^+2BZ)źFJdA\_m`wD,EpkZvnӮS3g{G>䁩+rHL-ߩi{9?NgQ܍r^~zd$Ӡ5b,YBl;'mb'z$I$5<(a?,"Ry=zgC^""0#\ `м,%$|]v " 6a@YQUzcx䈝$طr1σ,r"ń=`}-W?sytWfzbYy]Ct9fa1Qli6^8;}n4Y`}cGOW<_{yTN Qk2$\?es;_1uk1pRX kl|$j9,<(z}|rn-O1>>̡MulBF Cb@dQzҫ!2o` bl:UIF֏Bע=q,o Ηm;^k.nϛ9\b̹¸$۶ID Ц,0͂w0˼~.Œ+])՛!hM>/.ui@,.Y"U|$G=qHwnra06nsZ:)^1i >J,a@[}ynyi{Kr5Ug"¯u|!yM$+р3Q"vԸ | 'm!`fW JIgAYf@EQ1[J7kMqtOq}/֮)vm$p3m&u\-9R恪27SrF"A%H _p#:k*O?YH>o"쇿EYb5z) gQ0DuHͯ3MFʓ,a "-%!.g]a]nRM9JL44+'iK[ S/ӱj$¥Κn"`-&lzWZG_;r,5V$~38NQ%ԋkN1:?'cs,Zqm}E,!*m]9?}h5Ư< iݐGjkƈ0nlSJn؀ĿF1"u2?ysK¦NW29!Ƿ#J0"8NwOv?i!bI)UoN=]VOQCoMRvP,Byk.K%-h&:0mT=Έ%!t{H❁KƤNrMmUM) X*1qZ;#2k9O0~1},.)"kau$u  #i =]_9(bAV}4Vc^6`x mU~2!DL yĔk$bPBtGgW9ס|ҁhn\ S/c҂E{1w@!d +2M J) 4ܵ)/^ pկp`r_Bl6rbB(`1#=Frn rnV<ynu)::)*v%ob[@PRWP|aV!!׈vHq==6P@chu-?)-쨑xɝlgYZ7zXZִF! O]ŗXi%BՌy`YQA`vd;Yex{ I:NPN$yޣ"t0DAE}IeKƎ]]mWWymsYkLsf ה\D6Kx<,7z&=|@D_o^ K9X )F{_MG그Qh3iD_?Ge/Dᰂ(z0J1I >ά5o BF `21W4k*2nN{,@AŠ6_H,ray+zB&NmFU45rϡLnI]ΰVlfʝ2.ƻ@9I/_sHd(FT 9[y0 MQՈբxshPg(js\ gs6l`C{SsIHiEGӥTeW{**>c L|y y\Q[?Pco7L|!1q$Lǒj}g<5},IQg&nP~4(tWu[ {d0V5lPl$RhT5'q!p )2RtEy Ii$vA޼ox(c:_ʎ;_L7/E4gPIwθu,q-1uILx7"1TQd)4T`P(N:xjoڊn?6(LvNx"Q: Ff`gJͦa1#5D'{*z/vX??޵0վ>̞ $FO'}*GYZݍJpyAM1y[؁}pߘy_~րYv윃W|ju==!6 =|hYtewӵQzq7pFІxP=E*Ptƀž`3 V9< .Д`UzM1k :3 #)@QWt8w&m