SQLite format 3@ .0:  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 9 D\ ]w IMO2019:threads=4elapsed=10.800cpu=17.124gc=0.208factor=1.597zXZִF! 7]ŗXf[&Gȳx]Ze@.pΟ7-`E`ng}nl< 5 Dw4Si ^%Q֨"ϏRta"@詥R,vq. klb7DNud#IvbSqNASc[<=q0#MZۣۑgYZ7zXZִF! Z]ŗXiɟbcs?JJrX tGmZL1O$<TaT12gEsvb'1YOvMgYZ7zXZִF! P]ŗXi%Ge'K5cU=ś,K85 es{Cj2tdPT9xWH8~^3&ΩoP)&TB6pvU!#iW@>b$""$2GigHHLE)D;yq6]~<j k9;)yf*[Uܺ بY6ؘts[Y,ha;5ٛGSHUNG`Wԧε{9.Б/Zl~ f+S<^ a ݩ7B83@f=|0F=Q#DlϤKih]+7eA?y h`.7SWVʞ MňȀf˦Oݐ{ǎe@ذi}`iZNQ)c\ cї,3҄Vf߸8-S s &T >U%䒍2vQ7K9%V S z 7~Uޒb9FFxK[Bg8(`MW¢O17,q"hqdXBJωzT&!@,pK2SzQbWFj)i5At 'hPO%2 a:_g&Ex8( ~Nۓg #qQߩ?΁AsĭxXD_ƢGۤ3k:PduƬ_ jf'ND(xziBJb+ۺ_9 ݲV&cRğgUo&.l ˎija]4 Y,?^glP4 .%l&2' = #ťnpR1ggRtaQz=%;u0fƞ- ^sEYjo7/A Ԫ81L8'0`t0͎//ͲEq24^;~Qb -<mN!pxмEV)9=+n0.b~ܬ'*'oqųђ<@p{eL̅!5-2몿PۆjWD`/t2[sPGI7R>ilG2yס1n/Є?X6lq$<e VgYZ044c593ec64c87aa7b62b3f79f5aa87d22b44e9b1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac 3aa5946247ac231a452c7875176d082c3d3669d3 153547cc8c1cb90085dad05fc8e7530673428cf8 f0780166781a0564c284e6d02d2af4754389ece6   IMO2019