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  # #Z <_\$H㋰~yBB(R]1gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|3#@9?$9 xkQ\Kz6?/T 捥!7aEɩi39 |upYA$wY$d8 p[@τ`L 5u}aLLw3Kln'E`zOQjt!l}#؈dCyD40AGzΚG ѳo nE \kXɱgYZ7zXZִF! .]ŗXi%9(R^B:W7ph Gj+NJxR'gC~E`I9 B>G.M6\:cM-g|L3jKQ `@]\Ihe"l@/=T&%}aEH #Z ikRQ.% *LPc zϭzg& /R\YI4q1 չHim'ybJ۔mV/I_Qfvhd`"<"rVpxγvųՓ].Ǟ Cpz~v?͎TGH/`#CccLcwbg Ǻ@x4vv0E~!w R{"hޮw8`=SoW{Z:rmƀh_X)P5ؑe#.E>3W*> AA>p0'UdK=E'\FU/D 9Q23cU_cT޾|enl_鼀y2ʿe*!tBݱgYZa460b656ed48ad25f6557e340a768f07fd34b862f7b1a1f56b73dc58bf54d6b554cfc6678c6e3f45 f6af55ecb4e7cab758bcfa5981919c6be46ec262d202fd2d8829195f56de6ea7e4f2faf726d97576   ZF-Induct