SQLite format 3@ . YYQ77Atableisabelle_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, "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 D< ]/]ZF-Induct:threads=6elapsed=3.139cpu=10.652gc=0.384factor=3.397zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N2+,7xp k[k4J>#+Beē`5sK9u11Vuȗ8֖@M7Zi.N0")yCEup5~r1\~|W3~"vo/4c:t%\ZH4U5TAH]M`g}SPk#(X`Z n;b6Z`<6 D;DzEۡ 8T 0sD̆X-QBs0]rOI^ywIpg:d pm!Vrtt*XR3 L2qByr2l-ΑgƊ!Ў3BZ /L;F!'ܬ6p w~ jenݨ$/ԉv%8rQہ-("\+[* (?" h\7 *EN != gYZ9a4c330e9218a42f7fec9ea2acea854ec831c0f6cb9068c52176507145e624acbeec2272a10e4f6a 949ad68b5a86e193e303d817699a7e19371ab8b87b2365b5aa96eaeedf386e14c8e89f479d7d8498   ZF-Induct