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 . < D ]/]HOL-Word:threads=2elapsed=24.525cpu=46.784gc=2.072factor=1.917zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z@s̪x.2޾e5:tDȼg[Yu_rx7'w5Mقuɏ'>Ɇ1<`xv+ׁP޶ӕ+sf š:wvV S(EgJȡIu/$Bذ2h eŲFX\~$bOzg2"n濓cCz|^8tv*|` p_1Iܰj8UF##Qa=TՁ]^kA5F8+Jܑm<-Z)W.:tmޗxXhh%ڟ@JCgGx[L-'# 2F2fV]DjMt-Sq@3W$ۋX6ތcaE"uꁝRmTV爇:StcivV=Ȫ,3q'd˯;Q/aGM#<~E%au>`cR9V0{dia0.ۣ~(@o|N ֞ #"rIxЖJYJX9f,pRӲol|#wcpR\,جm N[ǡe,Io#iqQ83׫&T z3c 7%|^~Ѝ8_-@ Z=-x $@;e$޸z~ sKF(BU(&`4s2& N;~ˆsiU]ٟ3e }cm_xR(B80kY0ĹD JkWZq#-D jm@V/a]RLƩ?MҔ\ZX`YYO` U |+VC>' SiV=:z|BFX  5؇NgYZb4483560a3cb9e1dc9a29171d8a1855ec37793c61f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438aae423d94d5ef8267aa727af30c4429c63a664cac   HOL-Word