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 [  )/]HOLCF:threads=6elapsed=16.007cpu=37.940gc=2.224factor=2.377zXZִF! C]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"k©5a^dW1fw)RiƱr.OlV Cy,+#CyocQ[+18F LZa.YIɄs9ZgZ99r#BO|Ixn֫ r6%(t0X8Ԅ  HOLCFw8JH[qMB*T(/Pu>pmACiz;(beQn?rfdS(}g3L(ScOGdtɲ 7i.|H~T7gqJSA1{Dž;dĄ?)hChQ.,;o3h]%Rĥ elcWvGɺz z|P]|9|s"w^rb 4 x" gC0-i-ci*b`+ƨ_y:ɷ^b"F`͍VMՈ, z~Qضq8oҔ!VuY8՝Ȋ ۠i<~Gzo$3?LZ?r'p͏ k}s6ɇdlp[1`rP߃ 15ʻi5ef*6vX/20 N37T`/ /TLF7?Z+ H4,]GSWTsH?uQ«ˍ KC$#UFB{\!.Q(ɍ~*uٵEb )sw% #\ठ=pk؏gow'VcW5tb eUR}Q)yw-%SxFt@=`uʥ5Bm NxQ=&Y( Y.*ebkNAl'4"/oTF73k$oݪW -]DeIk]>y{As'k> +vpǹ{F4*P$lvYWgT5Pij[ L =6%JtSF)k&0EO;ص{MS;7F'0,Tu3 Q/He Lб>/zb=`?M%dQW Ny/=/;,{Az24JUkH,Gw:[ uI^xr"w&_SY{+86W;O#Mt+hx:0GXW,G0|!kqBbc09Of:E'+# !iCЂSu,\3wغ%\ U7P/bK@\yI= N  ͍,F" &4KҖ cUiD `tt0Q>a,E.ĜlKaW s +̐ kx\g~˜L@tZ8sB$<1"ΐ&WoV0?kݫ@S=^{Se W5(?T5BJWS|zя)M8ײƣ@K6"h|~Lm$O_=((FFf-UtrYp֥NK凑C(U/CeU04qh ݇8#]牵FntϢ~k7O^v:r0O pMP@"˜Wls "{<‰jhH%C^u$+͐"MWgWT̑K~dV`.mE(YC%PUn+`wǽґKVMg>(7 QTik>jFo {5ZePw~]yY=NSzzڎUjǸJ5 +Vԙ}5uLIÇiQ(nvTЗFؐ,qPWJc~e"ro1cX-62DsǐmD [?XJ]Ejah['w]X8$W[X~Sp`#i)|.VG[ YHM]6[ӳ/ʨ_.f;1뙲ҏWϋKu/Rߑe˕C>>.EqDSp鱰-Ǝ̗!K9^wck_Ń~mq{W㖮 /?/d (9w;W9/gހiy@MzlH5KK$t _S;Εe8{ %6 "2Q9!+)* 5g-o&{m_]k۬.^u(!idZ4Z ( #ij>Wbv !9Rr !@# ݱMD.bAeaӚxGx֌/t6? _ 4btTO+A+5R ]=?e\-7ȤqZi#;FuYr+c\53!Rr5f>i@mDae|/6t4, 1#,ɑKэ ܌|OM>. 4*2܅됏LTWR!ApG̮Ł<Y(ßEr2{Dޠ]LE31-)Nֶ0?[yKGe0ymSxDlR&M7`AJ"瑎fmY>Ed>E69u.au*1K^.\V?\%/l'HD֑:ĦL_Jarz֭D&\z7' $;%†ˮF`IS:M|* A `2LhCOeWZ))$F1WgYZ7zXZִF! M]ŗXi% U]SGlDqWjj淔KvvܠMs2Ȗu$ [TX~69~;:F:,ل#P9kR^5=HZf4&x Yx`?9?-ܱ/dt @W{qs* bG,0@wFK] _MsWs8PY "BS8g>xI| I\cTj@O^ 7Ma;}P1G֥yՔVA~;vg [(W'Eq:ָ.Wj,tDi`tJt9fQ󎡜kG+"9ۅwn=2 <`4q^gRW߸:)%oZTnC !d[O}xlb8>[Rgc\J CxՐܐ9i@Gg!=OD!5b'~wc9ɟv^l-fdPWW9j[lW:1{jL}ko፰ ̉v Q6QR娐]짨tң14BxbR?~VxFp 1; ? ~Wpdrc 㭨ʜek]8(BD_2!CMFK,AE ;g<