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 ] $D ]w IMO2019:threads=4elapsed=10.705cpu=16.980gc=0.212factor=1.597zXZִF! ]ŗXf[&Gȳx]Ze@.pΟ7-`E`ng}nl< 5 D4;dF8\,_8f/0R)Ƞx{]E8ghyǼ_h)໽t}2 3-pXb+kZIQY/Xrߴ\Jx\wo4 8MQjpv@(}1i.娯%q{xm܃AJ5t)͘:Nųp 迱?U;!EPB;wΠ=X "k:\1t)RCU|Ժӡ/$Co\'qڨXFebMC't瞉hX WB Wά:Z:7cc˛xZ{I(F\>!Xt>iaEy@KO 13>":s (`3Wm:V\A I%+ L^_\\݆b0BՔ AMͳEjG>*ǵ;ly?Ұz"m7qzӮ7W>4*H"0m+l9v*\6C݁Թ.:垻Z* i*cgv)!AE{E?JB$Os]+0;WqaB*v%^N\rkaP*k4?&hx?; ӤO>c*k\b!ڭ_UDjKA!`iMKVp$cvn:U xY< (BŋhھLYM?mOU)QRHBv96:.EW2!(nSEzfT~  fxG.Qsek"28ؒ#TpU˺#YBШ ^DwTrmf:-51Bdja堵pO&7dT>[0W&9T XdWW>O0fHGud='ػhkrFEOXs~[ѵ$%s~n] `uX<|V3 :gYZ3d132a8e02f75efda1a826273fef3c9c645c85fd4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11 85c6f31cc6c1d3dac7e2131a7664b8ed4a1fb46e ce4b6f832baea8b99c8c2b2cbc7229c5f2d4f196 3b193dffafc86a861855605cadd6f75bfec9f6d7   IMO2019