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 j# L, ] Rewriting_Z:threads=2elapsed=28.231cpu=48.600gc=2.276factor=1.727zXZִF! e9]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫp {}0>;g+/]87~5 = DFS3}Qh;9 CgSV fIJ3Wd7अOU@ݹv%ِ!n.Rs+VS{'Ƚq6"qsuzWϪzeNo) pHR€ .tV 0 #lKd,8czo+U%&PY+7 թR+`+oB|/z0_TdkLr))c:(j<>BX,k('";Bl" g_3лDZvNLdG7sŶ}U*57od9- 2#o[phĕޜ҉k:'1Ta B:˨3b&ɚ^ ";u`i.wK+{ >w# 1Oyn!ש]^zZp g/oz@w~ SE3}˼S "A1L(.7!D Oc=ܶܖ0ҦhM(ox$LT 1KB/&B50ӛaj ܭc3)u|! ɪlX ◽{W7܏a0a?GPsML텮27d4Á|T7_d!dLר*1ٗ֟72*Z]w\oa3BڿE -ZŅ%f2-gu=yH T~hW<@^FJOfUg2TvJ1h?T?F O qDInO vL@PUyT@z36vqԚ5}J G 4B͘ç3Z]&9`qzƦ]Tߑ ,&(*Rg?v[|j.$V|Qς\D,fTQ N9Z8愥^:> 3k> Έ pdinb뉌6-Qje1RUESնUCR3]`no֦<6EPHlT5^v_cVρl%(@`O2KZ^$Z.''% zȕڝolJ4\1lŻ7Scc϶4e kCSm0rI0b͐ItzjF"HU4NЊe9.cbp9#g|W4{Upg5B8Jkywq )&wPh@e/b.E =Rxy+mŐϛG#{$Ocy"O >Z}1&?2_\d}e(3U?pe/μ>97 4sV S;"5yK+ *#^J4ݛTn(ꀋXt4ΖiEb% D 8% O| J W1͢>O)}ɖ&MzڕHq̾A`UmO1$ͩf`<.X`QL )p?=Y8q[WE J