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 ||i! t\ S/ NormByEval:threads=2elapsed=26.231cpu=48.636gc=1.308factor=1.857zXZִF! 2]ŗ  ! NormByEvalXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׾\ piXF6gYQ\o~yv<e$ xf)K5S $ἛbDU-aA쌫G$4vKhybRKw~\'Z>imNA0nϷPLGleR"co,ֆs :<ǍP4 &wW*U:; U@Z]!q?{G1 ҭ)r%+F}ci6;:{,8[$Op3@?F8 %Nn!?){UXtѰVHqRҏֿ݉=_; {!E-KWzmZDNR|~Jo=a;><'GxO^]ZtRFͪ6Z;vF4} xU^B` oIV#ٴEMS(_,w0GѰO@}ȇ(g5.S |tV{K .JF}coJfұlVՋ'd@Bi ZgY܇MvpxPLQI<"5}[4UjYZޯ/)nh2nudlL@R{2`%QU$YmyLˈ7]IE5CD>ҟ~%#2 H?^ }Q_!x-`ӽhgkoJbf], ΔUrDX嚳ίQĿ64Pߍ0bIO@[e74~I)N8!D~O׾` vĚRO5^mh%| CDeaDrɺEh=N ;vhJ^[,Lj |sT|[rc" $$Ϭ\>;P5#uK/b,=O4ܤe%/řOv`_4d__  4l?c @ Ɏ-}c@0t^ȉn:ar(&2p_s (?ICޣ}"e"O^3hf*M4c X =ɖN~K0?ŪGVbӖ5aG""$VY3ThQXеc1ҫm)F|ex~yvE7oY~FЊ d/vv.ocBEjȟr=פ,u)SI\O/RvBk*dwǑhCl 5Sŕ I>)Rå3FWn_~ xR@KUmuK)xošClٗ\tDCu ~S.!}eWnbcB(h&|vTh!$ jxT%ivz}]٪G룃 6B 9^)[po*fltb:F+@<4IH6w>wC6rS1:wJ@gb;vD %'Yh{[)# 벨ּ*>1u 4 .rsr1;ۧI.EwMFT);(& OvacvLTX{bĕu ijc~؎(smzr/p"|>pkQqVWgQzhYA6?HK&МW(nW( 턀ޏ^y |ҟC)[+V!틳29Ʀ fc!<i{HRT(?m5lD/Ov]/%G뷼m@FMfZ!rB@] ͖ngDGovau MhhLIւwЭ7mu"S ]e3O0@"i}zUYPl9 qrpS)`Es),>T[p{w;pS'&THZñgYZ7zXZִF! 4h]ŗXi%<Bqq~L$UE 6Q<梞շ?>p TiK\Gǂhf39@-!RԻ2 E۵ g0I-iq@geQmݮB ,̠L1] [ZWeӨ>v@@l`J ރTsYKQGڅA) pʕ}iMg\L>ͷΟsʹw7u3)VH0h|"KŖx}LEitu` BWĬ:6n*ORWI-'B=ݩvd:rYshXsAa7:?-{E$IEOm]/hTL+ڪ龏3g*Lal޺>WG #mIx;zś e̕E2 #0f UC1/ bܿ\Ћ^YfPZQSG :s>4DMpADvH:ȉ{Mql;O@]1f۔F?K4)]4dBnC=R`~Tũ! H*upTcuOHX WZC<)*|<9V7mezvzAA#13w&wXbf2C?[" aB8t) )lY9PGoˠyތ Ej)vk[$"Cy࠳d&aTcMQ:c _W!_D!5O 2+"3?;ҟb%\RꥑX'Z>P@\Wlˋ .*Dt ڟ%HYfa bDU*Y2ɼ8=xC)TH59o'| kؚ+P E [JNePx~!FZlpnJiK}RI뷌rbLйW$ku{ÅJdOqט ZRLtsBG#Hh'!Kp|WAD#)]?V8?,lpT #"Gas(8lhlV;̔X鞉.1<.XmESI HJ*/C|3?_ +QeMQxc|_ڨo[k1$~ITH0^myY{6;1kbyceRdvY'Uܸi݊ofLٖBw*nt< #Rs ˻ښjNÅ^9#].{zߌ(9оde9,QW^ Zh"\q%:tɋc8Pzw0qbYn-Ъc)D1,:dJd,Up|@֟au$,23$\}Sj<߬{na: ϽXp xc %vnQdYؒYo)?ԫYt-F,#IF[s.|vri)r! +4gYZ16b6af08e205399669041b79bc02bfe62f75c02d d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14f878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457