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 A <| ]w IMO2019:threads=4elapsed=10.215cpu=15.956gc=0.192factor=1.567zXZִF! 7]ŗXf[&Gȳx]Ze@.pΟ7-`E`ng}nl< 5 .iVG [v5 ,X=D懒"p5E o+̓;-l"6V΋9S{[˘sRv!r;)O.97}\$:*Nj#X6j`gYZ7zXZִF! W]ŗXiɟbcs?JJrX ..oSTr< QsQ'k@)8Œ|2jJn#]sj+"iDZ=i<DsX_Dd8@: 1 SM~3N$nْb ՠ=,_t'/qK6|p^D U* p S#;n:Mq,)A'βq }S"k_]j@<#bXH{wqp2]!GfVWHM/'9o`3S/Nɉ Zۜ &.I7hk*>)NU~p4M펛#sŕg73BvC-& W0$`7Kjh\㉃s.Iw8[p uS3L n32t(2S9wՠzKot-1 P(Pq^2PS;!RSQ䅗=]#}1j1@x=6gaJ[;dqW b^ #TA,d ~(==.-2^τ8ȗ!N-l<Š`Q (vӪ?ƿ#(S`Py!3hu#h~,+q[0+TަC*ܪ1{sD> FgYZad9c8f67bcb85c2ee010ecd094ed3de7238847834e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a2857 ab0f8dfc3907d3789569ec3075bd2fca1f4ffddc 9324935fc3dc5fb7817661f7973ce5021e02d03a fbc427b44cccccaba76889899afde2a22b197fd5   IMO2019