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 UU <\  IOA:threads=6elapsed=7.533cpu=30.452gc=0.916factor=4.047zXZִF! ,X]ŗXf1-qN50^ ʕmy\5)NzPNzMr,HB1y/qOk^qe(!vJ@{&}6Da~o+ ="ϯzA<Ӫ۬b[d=0 ~vvhh&~:iqQnhZK!]y;)i:ϞZC^:^;&#`!!%&?4Q` WNM>mi>vvxi2Q `Ƃ`%B\> Ic GZ{=/0bW gа0 ~[~B8J~ )pX!/d4"yUXAJ*#kv~l:.&C)hqZZ jM.?5g ƔS4.mih͜yp!S$Z|k *ihed2׺gG-;KxCx:{',QB0Kp- ٿNN':?cll('m/x>OI/Damze,\UsR¹!E^ TCqXu $h 9et;o&㢺IH?Nwt?r5a`t:te:h  IOAAnˤ̟欩MɲhV:dǝp׀1Nu;L ޺‚l](t5O^W,Gb{GF ]f30 KZ׸0L3k@lR_H/FՁlP#a (Q5ԙS4UTAE7\_j` .+AzysW2dՄ̫cd'm#%P0tJ\wGz&-65+QzS⇜[E. G!F;Y+[ }5".Sa0R!~ 9X(%~lt06~9qa)_?+/SR7[h q$YklȎi?S~p512]kI;lwn֟#9 n<Tjb܄FIkG#vuKyMk$V>p(LDր*@G[PN:##t716ħM > -7mwI1`K㜉]ˍGԫhr7&!rr#wA| ?P9dA[% ?*r7D C۸z'Uk fڧg6Y iSj7c,9^oY~vˏn&fEdEv0 xA=rҟ묯>he1r'mIwvM㜆W'AЩx23k`eT3lo\׵9\Upw#܆r%'b_F[qfiW56S JYM(Y :#y@n@^=\D գx, k[x'Vnnw9l2 ?"凎"L hDsڬ'U hX1 pcxn2cAQ+3U@'7R:  蠙L#\+njee폷d8!" W*4:@gJXmAxVyDa}ڰ~|œʹӨ[r`r=;S>hPlFؘ1 ' ꈝRԸ'L퐚D `7V-r3\-F$;3ǐ9N y0G L{j`О:_Ð\@z9`a9c[C5-,kwuS>Ucآ B# zP9dN OQN.zc}٫v< }'PPLZ#j wf<[e6 TZbmu`×+^U+EZ8$3сCp2A*-I "$ H]q&BKm5+\_FM,he}L"C_c{q Gh.°+gZ_ZXBe}#IL|j׮*jsY?oڎ{p8=#M8iU_)Q%=; /} |ܲn`F~;tg 8ɑРGS4=P>qt'%oˁa]P-hP+zP:Fmup.1'%$JF=!Gr 4qLn{a#Mé!6cJHxVڮE}MQ,U;VM mS$kyL'iO$AZLV`UJ+t@v6|, SkZ~]@jR j-yT *=F[2hfæzcƬ}E^q"J)ʨ:s ú7"5JjF_|ܝfTG1 p@Ӈd1~,3J L*.+|ṆZ^,m8-˻H$Dg.GpPpX!ːekQz;_3[8r.N|5tT7Kߔv"X !9B=OskzE4n0"#Jw]K/rymz^f5ExK=?4Ğdgh3"  j5DMޟ< YZk(F;7ȱ(iz^꒚ /pd%jhH?xn೜MEK_hyPRmFc&@i\Dhض|:C!\+iV<-|ІeڠjѾj\'i7nj,kYjC_ȥC| ܃1ik{5Q"lVZ.᩵Bwsj{=B\c Gm0&~fRѽ)u|tlt$yQWgʔA_<&D[YhU JN3f> { Kmlmb 9%,ynna:϶D)KrgsXѧ.$VWZ)W s%Tpzsqha 8ѱgYZ7zXZִF! %f]ŗXi% L&ϪĎ" To|:9._ \+~zZ}֝7'&bdGѭAz+;CgdVwnwxhAtOw9\k;c1.#iʭOCwF2H?2y!k3>W%[.e텆3dμݍtr/ˮ/` 'l&,~l^ TמG}Nz雄m?}^iِP$+|q}ǵ707;tRjcs _ <ҟQ6y!Cwhq1a %6 =A$b?̚,sTSn[!eέN[Z3BBP\9Fe<$9T5YQ[><')!fvxO'J |cE s0&$y xo߳~{s@Hi7}"v#ny7\6;DsN0{)]H6'@]7Qtb+=΂khYv5'`OhsմF8okAsf){}O"~碮m mlMmjYbK.ựgYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 8c57cdd5c175f8582d25a1be8807be80f1482205 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a181123fe70f5117b8eca926e46990b6f607629bd9c167 40f00e8f8b9fedc403f57c4c6c050c0a45b02699 12b47e65910934669bc37907e02241d65b67e3f5