SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 X/ Dt ] POPLmark-deBruijn:threads=2elapsed=24.164cpu=44.064gc=2.632factor=1.827zXZִF! C]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4LAhPBw1KXFg/ Bz VNJNL*2#!GS;pj(|_g/+7n}LHθp(سE<hqcOT#I F@U_TY()܎2\4 IU`2ק Geʯxw|B3$?k twǟ&ѱYC63v'E`dhA\$Ո/ eD8_[A7ɠaФjO*P;^q^JAk`'/os-xzI474 V4 HS//7.z1Ni+UBQe?G/bkv0v<~%sSbBΜgZg2&!n6e\>}Ϲ+ tTqcbK>m)H {iA'xomZhRɄ¥iei!<1l'Tbu,gYZ7zXZִF! ]ŗXiɟT{F moEhuFww~/ȳ=* ȏuXvVWz%|jF"իB nv)Lʷyzx}hՉcʺg}5nU&c883::oMPJvdKJgrgYZ7zXZִF! |]ŗXi%6\kM3=5hӱy xD KY>"5cr:엁U?OGU=JݥT2۰Q):(6`sʩf xdaF?r6fsYpW^lYF^"=9(MAt[{ #rn!/DU6GY=[ ^pf|(^zbY~2:8: }Nr:wEdzFr|( }FDcj-s a^@(^;dq? {gqu(U1ׂfQ{ uHYP T=n|AmY$Vs rL+G2Ygr޸V^,%0棵jsݱ@+d'q9`zQ'*yiLxݥ C( F>gx*k!a/ۼ$ݮ?)KM!keWl$X6}BI;` !pز>IsYA-x  bh8GotFd HlyUyk0:jvlv]=}%M?)VvEiY7.r;*0 r&8F;k`4K(,›/ʐ35?=c&/0 DW'8ZWT{GbE5kXA W=PٗĦpW ./ʓR/cYr'L_έZ<9]B9 }ҵk5=oC}:a8x*9$iZ!Wދ q< WܙkVAb6]_ ڀcٸ`{~ZZȂ_PLT3$2| Ҙ1ȾB5^&)!4xؠzɃc؀$ JFa6xvo' \#xэ2 ,ˌy/~^GJm["kZ?X8I\Nd%-["^) O"Vϓ~;8cdӽKw hU'mQھWֻy|i,#7!\:B3,2Y s$e}k"zV#b:t:plܾTK?_^J`/);`pVgjNGñ9i\V#)qF(Ffv;c0)VLZR,4%Қ仴7j{C $;f9k'7r%K4 ԃ@: ^Pdo$U4f3F!E%q]mj,{0ҁF7QH``e7ϩӃYgzT%īR 9M6 [Qh][#}?H֯(`{S leo]i"#ooWn\#>cCYzd,V5tC+%i:b>ڑb Fpb`DOrur SR0PC>ڈGrmΌu~yXN/u_;HL; w` i|Sw