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 66G dLD ]S CCS:threads=2elapsed=19.866cpu=34.292gc=0.884factor=1.737zXZִF! O]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H1XS i Hx04x8"UOLJd;2Β~7}+0z(ˏQ<MǷ>4Δw*hHP SwU1ѣE꽒}f{d^7! ။W~"#C?wz\;dI 3TRGyC0p3ցRtK^eyvJ5eȑ(Z}q,?& 9 F`cfn{f:ۭį;>:qT ⻙-2_ `(Љ\`boiH.^ƕr x/rwn<6[EyqdePߩvfޡJ}lAȢTpu)Ayq(XtIhMOgYZ7zXZִF! *]ŗXiɟAyԳbɚ->;'#\zfrN|?<j`MrƕO>%=yӉ<B/5a-BX:3Am_Iy^mVXbiDP=#OTԞ_d 7Ym?)yP!heȶu | "zHG .}ji.p( Z΄eH6y3vǴҀ{FwIq vE&vtџS" .M CU;aA  -|'Rɕyf[hro 2b,y*/i-Öhp_kbJSdԻ" d>ߖ߾iSm{S>A |yE$.zSJ cP5m3{=ӠgnQ v-Nh7num7!?!F:keX8k43Z"?s-j* C}d; 6E%9E :vt]s2&]?VB.P!H&6% 53_aLʯi qS:$!m" D*WsOF} k^Xk]]W'2HcrQe*VN搓. B<~b譲p2qUz+_2#,<1]wTVhlf9Gcj(g"b=zDF1ڌ &*LC] dX O>grQA?[Ɋ4$"FEa%րy18n~EPϢ%*, 1z8{`@)lA;O/"i`ylnPpN~ *M0q8k[XЊznmft[w$iҺRmP`Q1ǝuG&| WVx,K'KL\w$]vJkl-|wlol48jl^Rcpɘ@Z")ƴ`ad4uOLw&\a\ZK>M㈆?Jd"eR f005ry󭗛b,Ǯ@ .k(L&!6_Pc1 zjw8UM|?2?`(>{1ѓ36h +ڶ:{m8/P2O}i~-(jݔkyT\cF ߔgYZf4edbef3acf269af43ed9e48f3641ef4c844703c0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 c2e4f2027fd4efacfaef792a3890814fd2b7ba99  CCS