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 KK2 lT4 ]]]ZF:threads=2elapsed=23.371cpu=37.400gc=2.168factor=1.607zXZִF! ]ŗXf1-) enȈA XR„H V7ɯ~޻u{ D~ߤ]APM2?4!t[t'8psVvB3]dZz쟀Sɂ3o&˯zH_Ǯcp)D@Upd0b%|h=GiPmPcW*3-r{?a gu~9^++OȱgYZ7zXZִF! !]ŗXiɟ 1FE`穵Վtacff=Sq;"3Yn׉M3vN~[SQSI*W"NNۨ bVk6v}Ştц2TCQ]MT *̋ %>*uQK5{݀E"idypܥ.(70a' },揼a/>q'"usQu iyS Xu75;94Hc첵c~f}ϕX=Z@>VO/@´m ؒ4î1EA5Q&8B#?bF}U Yi<5^*q?[BkgMw 蝽zZ9ߟ]LL[TflheZG;q7s'6Q]Sf_X]w>ƪ>mR{Js&e8fH;n'BFYW Iaz=ӵ'$~¶+iኤ_48⤭c_Dn#[YW CKm|_}&M7 s.p'4+LYiUI$e Cle2F19G!R'52A=[*{n$O>bp]MQKo?!/%pvS1)f$l3C5) ڒ"G~NCw|(b(/Զm$o❚Oڂ|> P'[DV$0"3XZaӊ=7Z sɸ"IsשzPs7 y"_"3ԃr#uxbA g=jt-p_kpgz\!RRO\3YVwvbpk6\iJ%;+)g[OP~_L0LȤ-V')U1C!vh.$ɲCvnz7x*O *nR&}MeyԠ\`Vh;=!aԄVJ}b33C69#&TuxXUԡNH\DarBHߠkbyGH}*/qJ͑*]_m`^/e߼eYOiT2GV2sq=Wݙ%M!0lz~̳_WU]/M6`WuWgx`= +!' dwc[W?dF(XkW@;-ޙQ2)KO95!`"?MH!>I&82su^GbD[,yt:WyոHNz5R(F)K ]Nt-µT#6AxgYZ38057a1194fb4377aa95ebcfc84b1ae4f95fcc67047361513188e7c72a6ffd9fc0d5d82009c64e0e04a1dfbca61db5ab57d74468fdb76815a468d85d  ZF