SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  S S* |,\ ]/]ZF-Induct:threads=6elapsed=3.602cpu=12.608gc=0.748factor=3.507zXZִF!  ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ TW+&ei_ wuo:րsg 7R;ԽF,řv5d!WfԸwLBl3Уoj2;!g@sYT3Vhv Bq5" vĪ}:mw0Wt  WgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzS5$h2ܢ6]\' Pc&Q:#{:k+ }|gcS|5e76ZΓRϞIf[A?~2$)ũhxPC7+歽qA T*5t\^!.RFXPLM86,N4DarU_:?IлZy[f6 k2 5'ݐq7Y^苙*=g_hbykgYZ7zXZִF! M]ŗXi%EdRU!瀧ջlH*lLmZ;'[0b}vtk (4 m[7g`q7pWP>K p4 dq-/¨u5ĽuXx *A5C^ zGMFaB˙%Lyh̑ȿ}|PCi JmJ*bh}Qqo/J7z'vb>;gVf!;6Fw LLHmۼپ#"[x'qPp8 b[iQq0"YYXUki1/V530c4Q=>0@vg[9 %:uժ ϰoeScx@㽹hŽ&ْE7|O>06O(4;_ްlsqdDYtaDy9-^OȚcP4d~tJa?ѥ$8iAi_Ne}x%:Vf|GkWYU(Q lO,gYZb5ceda5197d2366a0af3893c4c7e80419f744a4abae43dd2951a6b8e1263e49c814c4a696de4b0ad bc5dc0fb74f3a8c2bbe46d11e1dd3cc14544c0358359754d894feab586fb8f1066aa51e638af7bd0   ZF-Induct