SQLite format 3@ . BBh77otableisabelle_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  \,l ]S IOA-ex:threads=2elapsed=0.769cpu=1.608gc=0.000factor=2.097zXZִF! g]ŗXf1-qN50^ \!RY/nDTe F]3Kq .բ8ySy53/,t)n28gYZ7zXZִF! N]ŗXiɟdNG#8 Wƕ)v3)/hB FL4 2y_(F%m)hSPOjfgYZ7zXZִF! o]ŗXi%9+)`R=DLm~-~(tJ5A_Es]p SH ʒUmyr5 ޟV&w{. Wgiy2sL7W]0Qw8F'xgYyNuzfڹg) YNj,Fm'WDBꠃ3&1׿Џvt)vj\owkO8zK>r-" խSql}\ q_/.91G :s KXyZI@Ҫ)؃"*Oe]U p=[t0{~M:"{PSo+D|AP:yYq"z 3HgYZ764bfdefb0b61cb6d5462e370c1331aecd8dcc4041dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 00c52217ee265f36cb0323afec3080794ee45c38 a57ca9cf3e663cbdc91ab4e7dcc46bbd7034550e   IOA-ex