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   dD ] Optics:threads=2elapsed=12.944cpu=20.904gc=0.492factor=1.617zXZִF! ]ŗXf1-/6vR[$G~fB7O7m3ƶBxb D))kIx'6B~ԱfkCC:~]鈦%ҮfZ[AXJYFShd@8NNW PJVgN)44 Id0PI"qO]sLUD5p+!}V֓d)_zĔNV+?stkfn\oj()L οs͸0sJ+%wGtA6<yz@Ո>GA+P3g{gYZ7zXZִF! ]ŗXiɟ.x<3,6g(8E&_gنvLpc$ШzASqS_HrAE/!,wrP{ۇ9M2f¦.pzI)`xc%|\Hc]O,0$33$@D2@ B 5H;j'ŊNn-nT^5;Auqn sׄd > 1t}$mI$HfdV1C-)}?Sj!gYZ7zXZִF! MF]ŗXi%;cTTG?_LGe/\zKN}EiJG8l1u0IgILQrIpzܖqb' s hJs~2E~O[?٘׉9BuRP-Àإj p]@췇 1nȌp=w`ƄM1yNTF_E8=sIOxL2_<>AeS+I> AOґp%gz=~F 'K글% 7 0`aY`˨a@#%2_xǟPa ĀJ¡rV> עd; <fpIыK£mwEˇ֞/v9"u*p aCѬq !ΒySkHAmݦ|L$d ei鍘HQ0V?8#*91E%2~Cƛze3/;(GtP];蛓ñ6Ŭ NE*EuPSeA@L`e'm0`(F, 35W j$w(>y)"6*K z95ٖ;eo]*+.9^QÑed ;HSy)~ThA.Jáoׂm eӘ, @'m0'?پJ8g җU{CcOj*Tcxd/!3>I2| @)-?j+EJ W:ƽ %ˤz2&܉z\k@mp3G x<.1!Q:Xί_~;l.SuV 0KozݙmӉ*b|}i