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 F |<< ]I IMO2019:threads=4elapsed=10.719cpu=16.396gc=0.200factor=1.537zXZִF! ]ŗXf[&Gȳx]Ze@.pΟ7-`E`ng}nl< 5 DHBM_[˒bdD.^b{6etᥱ ܤZ& _Fqt0LM)nW4xqVYf>7qɏT/('gYZ7zXZִF! V]ŗXiɟbcs?JJrX 5q7F,~iK舊 :\Ugnh}J%wGw3-8DB mu;w)ĺU֏0ma;ӽ4 AV)"Z0pre;$n?cMi\t==8cl잡UEk1Oe4GA`H2{fAmwS]w|>3utϋS{DT57oxʼn:r]479ȁv!j]_E"˾=mx9CR`Zಢ.9?% nRE6t1xe lܑc䃦!zԼ.'Zźm/dyˣ{A=%ly\Qx#*8oBdd#1̪? ^Q[*I*q NBuŎ9YKX=滧 ΧRYizz<_;9K,.6`r_9} vXvj8!xʘCA.4+}L~Ov{)~#MGSÄ2m*7c[LB`(WLXsD$ko$y|&n3_V}e<<'ER4'GϘ)1^I*\+6r ŠmW5W_E<0 ӌ ^,͢}qA8]Ľ$0CYu"͌Nӈ_XrJYu'`/ڰDk sxwΧGOفՓ%zR]}BgbuFn,-J9ě=c 4㭋}3fhS23\Gt{0?#"Ϻ,oV>ʗ.@@ q&Ȕ$ S,Fo3-+i( ɭƃ|ρtHP`ܣ@(}A97ܜu?ylz_'mԗDu#IZs 7]'A_5 Z:E/9.~6,ũ$#OIEHt]ZpR!]<2&-f,4Ny+ ˒SU8ܑc5^|(LNR9!13 ͕ LuNsz߉SQfE*ORqFԲ|]ZߢGwCW4Uא]"+ svgYZb1830adb15525e53e480edb78d5c301ca899c6cbd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 f725914093267a67736dbf5dbcb2cc2c1321a276 517d49a24119a08135e7e1835a23bbde1ba0b8ce c31e2a008efd4a59c57d7d74136c16c6dfe66566 d16f30ed1ef22226548e0311539b18b34ac5dedf   IMO2019