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 ccC LT ] Boolean_Expression_Checkers:threads=4elapsed=13.669cpu=24.964gc=1.492factor=1.837zXZִF! { ]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bvRKI&ǷPVgȦƕ6݄$ezU g} f7DˑZGUn\w= xu/$EQWˮdN,Q r4mkΧNc 7E4#ɪϻb$ӔWw*)Rcn3"WpmRȑfᵠf\2A ;=6^ gYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=5h\^h79Mz Kpdq"5Y,!Qȃ|`M0̾FʔO#9dFs6=3G\tgYZ7zXZִF! ^w!]ŗXi%L 0 k2ļ>JOY3nk4"EoL346ё˾2rчj*e! 4lEH;LyrDE<|O:` zLEB C>;XVe[d4]J/sߵoFЄĊOVRS>XZ`RВњrn߅(D!f.Z}e|O@KAc;Pþ1fMx?m|g{  >0\\IV'҉!.&Auoiݧ|Ў,aJ \x:l>"eoW`K`}GX6Tj|FAA\3.#ʨaLM6#R*Ӵ\W0lv`\d6bB#H+;[np$Nu*P3a4X6ϖ|YHZ A"mrvJ|ӎc&=a.Ё@@KUIi^FNJj;2i#靎 I]XvtD\jԗ !6!cJLӡ Ё.UnRx}]gs&so/ꞬmĪ(#g|~i4S 0rE Lk& վ,S)kTe!TԚ17#wt$gMj\'pR5sqR‡blQMj݂8 eؼ]-$";&$Ȝ6AVӻ7pu6q!U z3EIdsǭȨ  Xg5BgvwYЮςIj%uf!,90˄y1)&KUH_AV~*Z*]Q%ރO}VJٜ'{]$PA7{ Qty8DlN^0/n~B_.R]3:`8^җ]aleوχ6@jCv;ۖe"U jwڷ0 =-rYŋ[um1~[PYҠwҘ7!A? D]#) 8UtKNz4JCp&Yci+IP rt*t%,!kqS NB"u]DcXPg[ueԾ'+'HeYsoUu&qwpK0[Wwek82IpE:t}`IyYtWdm'DZTBf8"ҶmLt"ubNax?:iґs GEGڦH8k(CKA@m^82+,g1N=-Ky85sfX3UKU_tJ홇ďR+DηOkmpnL7%HZNu  1|6gYZdfdc93cd015de23b0d7ff9875c40ed21d9f21f0dd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b C Boolean_Expression_Checkers