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 8= <]gvgO{* Z`4QЅt3rnh oۣ@Fp(P2e q\c5$p֦ H#qx`4#P WP&I /X0]2@F絲pVZ{9hdJ/LN꺯c bGn<3 U7: *y{j4_nZAeɁȗ>K^OvݓgYZ7zXZִF! X]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>T[O_,$n X*`L[z"}V] w%9"Tc`2#3Va١CFV>8W~ܕ1E-=@JO> $]u7a.(97BX"' P&JirQ% ^e7JFC- VFK4*NEV݅̇Z;SskW6\ՠK^1c{Gk3؅_cC6ԍA㝂Xp. рO#ff2ꑼs$_fwcDy_,YW{ MLg|E|> ?3krO^\R>2R, i@]Vmǂ,(X`9 \ێ Ф}]ݱgYZbec61a8765957424a442406f3440b09669a4dae898dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d acd1b5a40151b067766d2c39214b0e7386d62cea 462377fe3ee1fbca011d343562a3f5b67e8aa86fcceb33fd3322047017cf29f86889d2106bdb089b = HOL-Nonstandard_Analysis