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 ll d< ]/ Huffman:threads=2elapsed=10.966cpu=19.560gc=0.508factor=1.787zXZִF! ]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp Z`P(Wpcq߽eiF4uXH @ 4j"~W͘DL&(NYv[FjlZm PxC_]ŗXiɟt0sϘ ECS>W|ੰ%֑'s` V7ZD|c}YZ7zXZִF! = ]ŗXi%9(PM{BUBnuK7>Fb9b>G53WF!r 90JC{yYZ7"?7V҉ƞ\Lq6ZTsZK~DŸkhj ,CQ鬼->;P@@]+.wAW)X@#i 4lqɲ\/6(s_3j5(K6Y mcc6 It7~'J؅)TtfPjIM^2y6u/bR9@p "4 E966F>y#P;1QDe4 )|SMsMθF " @M|J }X:m=_f#1k4|js&Nҳ`1 kiyx6-|h/ `YdE3Dz&vܗD <b(>Щ^18\J*|&@mPXh|j7 8#t'h/6FK'5X?r =-,=2ҁd 8E,5@N;\/`M^c3VXqFD_bQGRl6doeI%@9)\vgנ~Ѹ Xd 3kW41Xls #|z.0C,'і RKԺ@Eo  Գ1 YuyzIқ;gYZ30b3e156df430298ff52de033ed646183fdd17c8620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15   Huffman