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 ll  $ ]S]HOL-ODE:threads=2elapsed=0.168cpu=0.176gc=0.000factor=1.057zXZִF! D ]ŗXi%:La$S40vB}eĺ{ƚW(Y]׏uoSzFv%PfQcY O4ൊ7=#xe4; nO>\) 9";=PrN?qU41sTL3wFv ),41mWG>DAYՉ{Z;X 8id ~SZX*9m"|- >F`b]MgYZd14bbb72470d28e885ddfb36ddc2cfae944451f7878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 53c8bd6cd9b4e6659e7c8d26458e89775080e70f b2027f6dc5b89517c0e8583e9dd9ac8e7703e04c1fcad02c9fdecdd13ea6d054a4293dae04c06c33   HOL-ODE