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  c c |44 ]/]ZF-Induct:threads=6elapsed=3.485cpu=12.016gc=0.340factor=3.457zXZִF!  ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ WGOmUn!J#;q/Յ3>XsZjh.n^8h.ʢ ס"$ņ^Q4]eZ]0y!)xa@Hg,ظO /Z1Wkm򬟸Q;_/rr6mJx8@ ޱgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| QL KYI15a-2-%b 7h>#LΟZ zY KєTJۆMhYs_b%FlPYQx- iMBn"DS=1|>' ?޹䒃;7ʘ\Up iZ<үڂȰ E36`--ʢ-kh/gYZ7zXZִF! ,]ŗXi%J!57u $Vq=3V vofUn']kÉ+^9NG%]3|Rr@Y"%J*XReNܠ9z5Ѵ`(ٴvDFbV%Hkj6BckPu3GB3R(O O%wX#KD nl^vK#p$Z X<ޢ@4w\%[GOIǁڶh\ap֩|ʼnJej X0^.r+2X^ߒOBs=}Z0ϱ[d\>-.0m;zQ1be: "@0C9btmf8AxL[lO'Fso+  9a%76_{sm;-$c]p>Gz7y]>z""'y1a%s[Þվ6+OJ&RHu%y4h-!9a ;2ui $$խNB^{s%$(؟3y^cbȱn] 2n #+J=0"Z5XHC-Ym(ޥ}Oo"IjgTN򞡑B&j r +3xaܕ4ŵZ׌ZɭV n,-9/gYZ531b44b4ded2791732f5619173913513e80928947a8e704ccea2b410d547e553bb494c61d99479c2 0673d76af96ae2eab13e919ba0d08f1d01a15d11a6412fa73c2666607a8c4b792084b8e3a29bdb0d   ZF-Induct