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 l ] Boolean_Expression_Checkers:threads=4elapsed=15.361cpu=28.344gc=1.616factor=1.857zXZִF! g.]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bvS8a;ps7&{-X{Ws:zM7PDA ^Y7"︍0f̴Π R <9Ԫ ߇G j[eK$V1@5d߿;diX=9?ӂ1|乬* Tw F= #!Q1#E3+0람l7#1A6gYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=DٜP-T,JCf81SMOEŲ uK{u|HЉHCÈf@>6 Dy`G7gYZ7zXZִF! f]ŗXi%L S=~ud%MLyd7b/rz\ V>"(!Sv r:!o{5jgTBA% KD]-v 8lT (4oqTfZjOlL$$6@YgFQ롧IL>08%EK{բЉ-J[4P@4&uW9NS%L6o鹼Nɀq7.|#-c$38S'Û:ۨ8 lp}lSArD^1& cz)G{oa@VPπP >BߧAIsnFe\6o03w_ 3.n_|Cr֐[̂>"ls g"S'YL9*s<5!dCd\Z7s~ n@!EUq0^Hz y4| jId2tEQp4iiZfpnd(iבbe/S2F!ߥ~\o$>jqE W kiƸ45]#M^2dFZF߾(UH*O)cSՆE#E8k'u a|VQ_6Vf6*"fczsFفo:B5]ԩ[^wNr33ÚEPEy~DU"ze:lEcf:URUy~#ogdV1vBjOz> 2Vtƴp,#w?fb`i#Dĭƺ+Bran&BQ;~1`;+(/`E|4SXqY39CeF↉Xۀ RVX"\0ƐBl!fia 9~!<2l$AVf]я1&,𾏂>AnN1fYOý 8NKdʄWJT͙+A/y:sP,cZhH>.CXjonגsTQ%g}VYb~|yGBP<kݵRY{Pf(5Ce*Ǟ::df\o{9"Xpa!;8̸`x|G名-=%3- Q)?lf 2r6yޭ܎^FUC8Mt^zwp}3Jv! !Ԭ8Kϥ}efFaR/鯇&'lGUf'_cX|v"S _\1 G΀bN x`zXU?ȿJ :!w&s㾕 gCR3Miۡ jLB߀@ z͊6tt75V ywIgYZc493444813162fc10668a2e12a4c045f1a2d37a5d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c C Boolean_Expression_Checkers