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 @@= \< ]w IMO2019:threads=4elapsed=11.762cpu=18.508gc=0.232factor=1.577zXZִF! ]ŗXf[&Gȳx]Z`!pΟ7-`F\gUbU ? ,xTNtn͒V'ɳ0mx}XaW/j7.%!&hB,JTZPߊ9+A$x6êDϲ'uN)`+t(R4݌+ D'ȩ0FkG$ObzaTv{ތFsj.;! xaigYZ7zXZִF! W]ŗXiɟbcs?JJrX մ~ٟG(aZ#rB;⿘'BJH*]]G42ƂsZܔ񥆴 +:rTaʘ>*_@=y(Kp^*Jq};N~: qq]cF1_mr;r=`p2b:g/Xg<2G/f:2U,ZX(SSta=]5'EZb 適h3[z845+]< 0ۥ FX;!${(烹0z9!r;+.T m.1D2?jΐl?KwTZMY!hqyL񤐹NJL+?۰3a}`v5PE_ELwƹ4' $)6SZHsA΂QŖG3ۯΊbOesy _I! N? A`B'%Fngcrn.঱*٩6fBıF)%`\trTB,O~'4pbNDA~#Ul\ h?[Գ{ϒX>B dWiMjT;^Ϡ;gCsJ"Ļo+ #Yzy\/94;rNp9IRO)FJ2rֹCUȓǔ7K#wNSmf)8>m_wQ$K'cMYڶP8^{>͡rxmfTVfg$˲RdA !b^nBICܕK{fRaCO%V A7Ik 5~5m!( vRuAufXUi6Z]uiцsc _rZcbH2+u jQAФcm'_}M\Vu=_{NH0L,c(ToBG¾ɇAr& 0&B7h HuO->h ¬ & gYZda3e04fece115bbca33750e22b83464a92febc2678a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472 fa9af77986aacff965c8b509f2b90649542875a1 d15becfcb31d1921f5f14d521340e237accfccbf 2f56a78d1cb5470df8f0c6b4c5b5ce65b514db85   IMO2019