SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   4 ]/]ZF-Induct:threads=6elapsed=3.409cpu=13.012gc=0.620factor=3.827zXZִF! f]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N iiGnf(G},Hѯw0W=վ|mO@!JGq \Lkj%v2o)[zw]gY'̘8*v,R@mkT?e]60+>6ro P1V1)0윇{ +sYhlg j gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| 7Er;Y@ .{:漢7*{MnDh%^&oTdS)9u.]VKl0XZ׊W35l0gCTwdׯ{(C9ϨEgI­VM2c %KiB'|$STwt~Ÿs*˃XYGTҫ\SYh'.i赫@}`dsD]膔ljff?(nt;9gYZ7zXZִF! NE]ŗXi%>A,ztpdr9k-o]eu^0Bn`X&qNi;v"(#cN'f'{JX{-CK5`xBH}(WE I*#9ɧgRPLi-hl>BNI_5.,|a=/q͎L/ mw[KmTlSMT1QQ%Ȟ6b؞P`fUDžA Ѷ&zMIۻG#u!.ũUϜ\:_MƷUKAy$kP=xӯD;wy7lz" )(Bp\q+)zMw8G!4}!ыE;hڟk MQj2҈#h.o;N$0 !iϸkSxQu+{lfJ qʃѰvP)Q^|WdꗸCƽl1vT1fS%tX8 e ~ ]HD!z#39/GYL&8~#gYZ6b8f5c7678871b0f432ac4de483469095add1e786a4a8939512f5187f2e67f11383402b7a93008e4 14b11e4bd5d4a64a235ad75f53f3a921cff2a62914218f6fac8bf4fad20d2c616ab98cea09262342   ZF-Induct