SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 2/T S/ Max-Card-Matching:threads=2elapsed=1.692cpu=3.152gc=0.000factor=1.867zXZִF!  |]ŗXf1-/6vR[tp_S T{xx̺2;4ӞPO)-7j.{dJaiXA3<}:t\WT / Max-Card-Matching˽ǐ V}c($ -JS @b ^Eqq]QPm񷤳1D4~ A<2,e`NKT?8bOXCfH?E/:9R>V;KiLɍriIn(D}0#tĒfɟ//x\8I/ ՃúkXau}ԫ5S}mw ˽ @gYZ7zXZִF!  ]ŗXi%!7 @p0:+Ugjbqsw״ G[o$T -_>$@ٟ, &Yg`8'"G2#)=Cŕ@X'>soB_V`̳v߬L (qb͟'4/'ĢB<|oP= o2i¥BVɂFOa yy} u)Bˮ|# σaR~4q"a7˶Es