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  . |/׈IAxN(,:^e WgYZ7zXZִF! ]ŗXiɟ9\'B:b&=*eVBz&w[1e_6):>U<~:v 6#-9(rdSZC#J媑boDL1^w=E4Zzή52:V$KIc8&b` 䤀ie?R>G!1LGʮx[k1q}(hTFX&>)ËG( קdE*g?53xSeoRTi;tف񌱖ϭĬBD/ BY`g(ʧV8;.%FMA+aElOFt3tBڋ Jx⛃e= p6!>O}"4D =.x_˭dt)jCmo ΅Eia>mCFP`U) Jy7X3K\%a; gFA1Z;,_.iܳV>0/ss5nBNU$O2^n;sAtºnU[` RʔRTn+ TX"Ӡ94OUf Ƙh=h _3uyy8q%8/d `o+"Pa7DaVK4'q=J];m-n(S>t 3v\WBOiS"(J+]z@@#!XW)8&6gYZ00a460abb51c6d37d9a7788e47fef78c41680b3ea681f6653dbc3911110a79ad31633f9a1fcd6a75 5e3ff36e7473262111d5d467277ad6cffe26f743e3fba7b43abf4fef4cab8c436f628c05c22b02bf   ZF-Induct