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.344cpu=12.872gc=0.624factor=3.857zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nر1Nު?ʷ>P5^?XNꀏ w0ƉܪZy6zB)dS,Adpm-uu&ߟǎ4R9NՁM3;F ו\:x6u~ʖP:Mc%7GAI }[l~LL $)PgYZ7zXZִF! ]ŗXiɟ9\'B:b&=*eVBz o[1e_z,|򫰨2 $r'RL5`YQqV?42;{==f\9BO -hWƉbu:F%=ڷ⾇ )%7VbG-J5?2@'~`X{eڶrh3 Q34>޽.b!(mƙ1@K5^xӸꝹ憣j;Vt;9gYZ7zXZִF! 7]ŗXi%> z)lOAQ/j!묿ݗ1gj8jFQ{ͨ^N_nFq1;W!S@EM%U#erD7N?X֮uGp>ݨ7w'ɸ剾1kD={$F_.F˼g3lCX)tLqn?U-w햏| r^.4턢 fgߓ(M0(qkiCۙn=;l%Ѽ]©B8] ѣQ,G g>rO6.$,6K$zf\oʰ=`;!xyeNJ*vf<KU߽!3gYZ4ad7603b58c70d4874ccc0b2b32516a4fadb1469266222d5d4fd615b66222b5c76e21b7ffca335d8 320ed67a0c9c46256532bf36469f2f566d8f4fe02becddcffe0761bb965f38ff30480de88299405d   ZF-Induct