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 # $, ] FOL-Fitting:threads=2elapsed=15.343cpu=26.108gc=2.048factor=1.707zXZִF! I]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#M$71l"+t8:$ED HNvu,^WH/"T(7}.Ρ٪mib}>c"BMht%f^mgTmv/J>Ssojlxeoz˃$AĻ^5ШoP45{!\!6$Tw.TFNAzbٗ.9k/̙E2ӄ|ͧ88%]خ/"Y c08!C~OgYZ7zXZִF! MG]ŗXiɟ1QOϒ3kг^*]HB84+'H;ƼKqg4"cW9*\cN2}YZ7zXZִF! T]ŗXi%;*ҺN#ۥI"Gd@ʱ\Q?sD$Pph~cf2Yc雠8]/I(/v5C/ .˄} { [1z\ҜFgG0ݦrӮnŤGA )B[**1`R:dET$yyiq]"?R"#zAP_ Ӎ#-*>a!oQUpO,lL<MAKi-SVeĴq/~L7c|!~PVV&&)+qOp xIl >||9[,F{ëN ~ N03x}\=F& "lrz6a3vqNKn8S,)T5b}IqDZF߇8x/ժl6LR[XS`• pY]->f;Vd^(P?Ӡ F{FY&8c}?^#|پ16捗h437 C iʌu3R=p)KQwbdAv]אٴ']]èo+BVpR!ay67E7'?vV}