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  7 7F 4 ]/]ZF-Induct:threads=6elapsed=3.449cpu=11.984gc=0.420factor=3.477zXZִF!  ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ ":"4}?{*}ȇ"D^ Ck/YJ`^>@-Y =S025q }M)\]rizr'~}mP@ʰ/:׾<,7Ǿբi *%UJ׌b>Xřխm"yv=dS>Z1y eEgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz=`6~AM5B'9]8~-e]{KC *̌ddòEVӰ88{vBZy"]eov /)l$T+[j!3Bq|(w&;@=G)Cas遾/+EC[uQ-̈ @@v<b^,lJL]dĪήV9L !7ȋ>YaFޗ,EUoM.UISϊ j+"G ws;v?[qt"{m<&6HsxRA4ŁS B>2zef=(9>l pd.-7@_ɯ\{x m 'F^5b}_$Wc{=A,R6rpFs7 ^ĞE/i=*P=X!ųbKpXշ2:^CX= ъ0[g fEf+.m}Bq `0вjy@֋m%RhsgXZlI@źClFMb"Q/DMd7qOXQJ7 91](fQhE7lpknozq PV*9\1a2f\:!PK=LΏ hc1˭BNvlY:IyS:&./r3P[w,MDgYZ8bcc5a0f8200fcb4afdc9f8ecc2e4df3b4468a901b9d791c9837b33e4a03e5886fe2246de351b574 269e7f20c0bef391cac8ae6613f4f2eac875109ca3e3bb7146c1d9a32081e2a17611c3ada7744194   ZF-Induct