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 WW&- mk>!:Q!*u ~ }選"wZ 77Y|x\CS*uK*j_Ñ;k 4r8P4!QOXO!ͷ36I+!@ 0vC!dE!mW0eƔOz M>@'0ƀ׬bܒ.SC^foF-mļ#lC4z~PA鳲M~L"ͪ.8?CԄ1Ca㱝7otqHN:O~_А(mIvoLuSwy).]-W~TNsʇr˔ɯ-jgYZ7zXZִF! k]ŗXiɟ95ZrY!Zg>3gAKrYCڨ?ɹ <^WnM琉Vo[=3z.W=_.8[۽I9m`bf */g:C*QY3JDž?=X j8gQ[ǶObB`qF P{ $Rb䶣.ʀDeDOh劀"3[xK֯426Uз)?=Q=s, nriݴ.XxUd!>1scqbg5{5lw)!" g+؂[h 0D[gYZ7zXZִF! g]ŗXi%96@x0P+\ {~Pb4;3J/9V9U b> C>/SF޹W(񐎔Yv A=d;S^~or`dZisC}b/ũqiܩ7}yQ Uk8ȫtfp{3Ǘ0fd֌j)LRvp ڪ.B%JtYp_ieƜU:$GT)@6( 1B]ʾ' Du2v'Vή[I;z (Aۜ@)NrHk dھH ڽ7eG}yELtm6ŭ4]Y0GʫK(nlP"wNVX="ʂ!ֻqo" zov0a ( TWHܽ1"wH册Ejujt7X[l_nϑXvF P5Y9Fh 18Ģ`du]H#mR4)_* tʸ 2>Kj?k*/y͜/z`>o|=`lxhަd "3GyU!~+`UAaO 1_{cĮt}BYQv2<]8*}dR/]aXN+ 3 h\~3QWlQ3B qϮJHy wqM# dV#pEik5$JvpєSiF~P&/[TCHB ~;B?' ՜KWP-F"#f,_g@RɣT-8B4 s@]_ oC)|mTETuwQn(sp-W[Es_k硛1q[8WvKFzY.:u7@lx%w1) }Vċ?1H9`,q;I&]Ve EH>& q3sK½.^dI;ޥfqT¨ÐPL/'"C {m)K}M d[:v[^&l QEpĵmcwbsvDȣ۩3+:RUVG'p Q&XjY$xR/l_r~덥U3SnweD)^fTC/:C ЌI 2Ɠu6 K{r޴ue"]sL0?x8ѣb!5Z,_7f ".)ZYw .Rn&62+a$U4RVNh98^v X7gYZ09a8b4b16176b54e108f20d0b23c912fc46d52603fe17abdf9fa7db8d66f05d71667c93b38e5fadf 11e57a7c97c6f41036a70569659a4d0c597962b5 - ZF-Constructible