SQLite format 3@ .  YYQ77Atableisabelle_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, "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 XX%' ,  ConcurrentIMP:threads=2elapsed=22.401cpu=39.168gc=2.388factor=1.757zXZִF! 1]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GbA ",ݎ2wWo+hD;mVH@֌n8/?̪yf RqSK2\,T}m͍\5&KDj5 /˚i e=Tl#ǵ8Yy t`*#>D~Wǹ)x׬"4K!Ώ/Կ+l1v AjxCG# .VO&zȘ}Ҫ6~Տl%,'β X(**f}\Ab/j°/Ǚʼ#r+ƌ3Y*j9w+@ lV04F0[´Sy{IO:j@+h!'Dz_Iy Y oYRXVƸm{ *{0n]-˪ EnIsgIEg_'VV 8CILzŊ]]*̗W2wxA:3,Ճbk%xG w~%탮o7IW-]i%r@xzSb'/OΜ-yH?W=. ٓWdJ$>9 lm:mN[59a# d[G'nOdbzvm5?DN%F<6G(X(ueI BW@@2dWĊ!@H'% 8**- jd m&uut_sɘk54Rr3Rk 2Ql ?w[/;P]eoLȫ4XdgfF }=VTOILScUs0^֥p㏄32 B=;d-!"-m K$_x9L_{c-˶#8]w4 -)H[ *1G@ xWWE޶a ѐՖ~Klc8$5  bD5gYZ7zXZִF! n]ŗXi%qɃHHؘ$qԻ 9E߄0voM@ zXm5rɡgD3 )bM.ea;9Sn3^Lkh1zicUjߎ4Qcax le3 |E{k2yڃaU@ʔnY=]3Md Q'bi2`jgAf-CQZޘH vkqQ㚒 mșZƵ')HPtR7[k1zI6^aZbxNΓ)\ޮ C}RI2Q \++JX\$M-7Ne#JaeYRЙCٖu|?a&HC(sFJp0BɷGjVVDSp9HrTZl,8'^bW U=OGY#g%{FN 5*D㵹C4$^qa[3;B)u$zSVYO+< TEW+Շyz`Ɩ6Ӕ+ y$2ődS5x2^~1FZu8}M,`0ƚ|8{?wc0^@Gh Z] ?r=7. )c f9p(Y"cG`qV!?;̍]5C6[pΝ}.9yL@侼Qi[ZEO`$r gpov/'Xkt=56lOx*5C=&n l kfy?Z&D(O5kn)`d(o |FOW9rkU~XJ9艉ײ9e4s.O+^6(H\uؙuO>Bݠ^2Ov fK1S<, I2Da|PO)pjX6[!̋'TJ(B=Ed1'Qkm?n٠2.#7 /9ajï.1'!>2#JxN:L ]0(aMٲS\2B~IxN'Faʀzq.'ffO 3{iu7/[*F ᨬm/!bb]P+ٌIwG]Ay+ʞ)q jۚ ̅KR;1u=RtXgTSq'<~L9 bЌ1Q!}H)dtG