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 cc7  ]% HOL-Quotient_Examples:threads=6elapsed=28.741cpu=43.132gc=2.532factor=1.507zXZִF!  ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%1|pZ8‚1g_8w9XP-Į:|r*󉸃 5-:@[e-7IQA/L^߁ѕ@c  u+ ,}3+~ZJ&60G=Uԯ*媈 $+#wU4+䫏'N+΅S'! }h`cg ўㆾmSN%-ӷJx5jV „^V.2V-+#24iҠSL Xivk9:D(:"E*j6+0[ȿ4t }"kD[XĊ9Q!sΞ*/;JqgLASJ5Ƨ'/QTLu)\/̷%M|R^µel1̶0hݡ b#z#(⊺rj K"@ciKԣebAfjϰT,튻 ⦶'_B2=sgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XF6G.#BsS *F?=ƐM[|e#|@~W"BencDA9D=\,0ӊ:ü #]7♤&eB ]Ǜ}X5!1 q'ؔ!&*An ^EL0A-3wsoL ZZO+b(BgYZ7zXZִF! ]ŗXi%;މkm@;xQ,?Do=G՛(%oSwTlYk5'@嫔tT.°sHܚ 1#t4&S~Hg=7*0e`}ss </=[N 6$5jK5jFj\YvV_ ` mTD=ztn>3 챬yTJ뗖A^= `D= 9Un#Ȇ~1UHh|Kpvb)mʣ)G2w n*z0,!35(cͯpJjX]om?v,rΫbʍCђ$yȄ2+qJzO2? EQzb7+?Α&NIRѽX73c>+g9k p=` w+=h7K2Ұ4~&Ô=sv[љ}m|@ϾgCo?;2"M#YTkpX{c0^Q ]MG0ӱT*JYmu8'` SxEh.8N0V4T$Ul8D!wv/X,Y7F<{ڵzV|P׶w}_!cGϝbUcM]F*@'BXtv#b{d;IiC@^8-$ H4鵃lq:++ǭ5<bEw6o%8P`8~' ۥʵiшn7($G'\$~\[.9X]+De,GW)I b``hK .ɐ~sRf~ <)ms60b 6tD4?.)ۂ"zwLp- Kh`aWЕv𵁏]GdC9|A4՟+E]lE^GD p*2t(ҭ\ұ̙,>25:ZU񵈇NR]:_hf6ZeXmH85 LDä*jOJ2(K