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 22K D4T ]/]HOLCF:threads=6elapsed=15.005cpu=41.160gc=2.408factor=2.747zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>Vi5L6i+O =3wtEAЋnfv?}fwA1vUSԮAl((&Tn{)b4KqhR/[LʗjIfrdvF\9LriЇڮ"3 F1_)Q,*y2 buGxI <^BAkhxq۵ޒcHRVh_< R?:ٞ<2#m__ gn^e㝶T^|O+CU@Q qy/lJ<9,ڢ?{GHĢ~웷j5aG0l $< :4V^D,K{rYSH^x~F2|~Ӈɇ9S2]ʌ[O* 8σ(JwCFi<.v?ĴlPxU첉 <jƻF+vTVB3q[\1e5`~R+[a Wt}?: [`l~"צD2D  \p,{渐v0D'fq$K*ΗIYgvenYSe jii_ ]lܝlo[NԢ6vM0Mq94QDfA?+pҭO{ֈl8bЩ2-pPBEN*1?N6k2GIyB0P\N< R($JbAi#랣DxӒ X?J3|M8|eP=Zeh6 PP+ K.vM]N 7[Ƙf)cȱmߒ G[9mwxi1G̠Dza[a6tqO3RԕQ-:}HryO/ '1Ơ楱gYZ7zXZִF! F]ŗXi%96=.#WU6UCwPUF!fw0kh%DDa']eFu1#J1um傩һֽ"ttWi=2>ȇY냌 ã|3kQr,s BZD)*-M2* D U{}#Ѣ_sɉ,d+_>nz fӚ7-bQ0l=f=DNZLB:MS(Q<xIQ80$@m0Aleni?[x/#.:hCFӋJh) `N IY7(Jw2-H`[. T S7X0Eu/<)J[0p m|LMF -USor͑d vXp(08V8}4YenN}\MfWJ1ώ}O_SF *`4\y2-F<9H-mxӂa1e