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 LL1 d, ]/]HOL-Word:threads=6elapsed=9.635cpu=42.920gc=1.756factor=4.457zXZִF! @l]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?zz` 5T)VG~-99}$ D{Pp~vȞ@I!62{ŘPc'9ݽ4Gsk{Ndþ׸n`y9y3zD!WY}Ŗ$s徬ٌqtq|2J#64pY׹[+)5 L)IF"(Ij*cbⰅWEG4tUr|A`rNWϺsD UpuwBD؟ZD+Hl׶5goJCBnWφf?*tt}}z:|VC;*ꁒYfK?΍!ֺj@o)ӄ#CpX:;/;qM g"# x>>k[L#q;'& M6Y2[գ J(gYZ7zXZִF! /S]ŗXi%9#vn5Sx&u @| G ]̯A@ꪁ|36ͫUh —Mj; Ph5;k'Fʀ]2u7[}A(8F*ժlw=bƷ#iQ&-W3YwVKDy1w(hHoB8II>*vaRTI PR}~QD«^9mD(@gIyНX˼Qbo앇yi'12> fxaj_;z*01_4dt!/Z_coPR )  >#b%9j9&Qh D*&)Qx HZzU}ID0$/緾zyiۍԙ<1-\x2adYׇ,eԃ0>؋:'= Ia)<6_`T~$ 1)<~Fp?CyOA WT t(m3}AR?bk'\2X>DUFFoOMT4[ì# "9*xz+ F.Ơ߫RL4lF^9㠮+(({)49Uu<{ȑ ߑrda/N͡Z&g0+[stkUG]h}q@!zf;wUP6 1z31:8KrCݕm9;)6悤89ij7H׸ Aد0'x#$  ׆O}UH05t_nlonM,ް0F*FCO_{1mlk I¨@QP&E8f+dV(^cRgYZcb48c6c877fcac0a2e06ed8915c57eb772686c8d8e59201648d7aa8ce728c4e17f1d57ee228b2810 f7012f5768972a97f450bfd6400e324efa13b311f3a244fedb07a7bfab1ae85a4aff4afac0a00e0b   HOL-Word