SQLite format 3@ .  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  O O. <4 ]/]ZF-Induct:threads=6elapsed=3.381cpu=13.292gc=0.636factor=3.937zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[Ud.愶':"6'ȚE?e؉QWQXA>Vm#!v"ݬq 6)2yFWvҥp9xϲ{`+7˫˵j-rY߁q f\pLsaQ0就B~VfTX$.ʚpӕi5\![, $i- gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| 7Er%e;RR6zbO(Kg1#?Gڳ-.ˠܷ d"݃LNv[pre-4al`7}L<ª7\Va(i(@O # R A1DJ=;~XnYVFcaT}2$Qe,6+Rc 58 .ti(2MѢإ^6lzD${CưЋXɱgYZ7zXZִF! 5]ŗXi%B J^u8yxIBbns'KǾъv1Bbxsԩ(RjEz|ke|nP .!@9tZ6$X,`>gwE\ 2o[w̔*ZW+>VٸĐO`<4aH-AS 5ԗms,5e\V "q>ŝ%b'GYIT!{fJ%9Fʣ@ N@. @E9+Ls]2Q8%T`mw-UT|2m'J}JVC?^Gr,cq:f_?ܯ{Ԏq"!$({Z+i[{7+N0"$ ʢ)Ǩ!DU{&h_O"̀P ^@+ܱ .c$D\D4M ayk,$0ƙ$<?SL7ߋ# Ih5Xd{!tޡH۞k?zo,vigYZ8198d31c84c379a5982d06eeff1e4146c7906f8d854150d242a026a9a55d66c1a84d9e6fcd361b2f 0f6c6e1531810eedd97aaefa83ba59ee2a8c17d2e55a0c74ea620e636a580f850ff01c2cbc320f6f   ZF-Induct