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 \\!#\ K/]HOL-Eisbach:threads=2elapsed=3.277cpu=6.160gc=0.188factor=1.887zXZִF! (]ŗXf1-q恈NucvAݪ4 c?im+)=3}Fns@rX 3UpUԙm_$?a: Q=F Z&x=s)1g\:Fǫhr2t`jٻ%&EgYZ05232043e2f6dcf0d3c3b97dfcf160d0f2d6763a 093e7fda42ae6364405854aaa6ad3e616a522b8b 0d624df132aa2e54b02fa619fa707a1b424b9830 128fff05d9a56f66593a8b25c8e200937e220f02 14db55975ce70793e1f28e49981ebc12bf712aaa 15ab4e06f2b22ac3562d43a214a185c87488ad6e 1674c49fd31f80ac65ecb4b1c8d560d7ceb00650 19465765deead9f0903de5d602e895739222cf23 228ec6545c1e72150b0dfaa862505c5999b0f301 33d270d7e7b4fec15ec4e468fbf4cb701774ce22 378a226ac35affc3be76dd4ab79e28a6947aad43 383dee4bb60284cc7229af5017def9c12378879e 4ad68d929330874fff877fe0040e5489f460145f 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 57f19d44e3eb930d6d127ccc2493ffb2bb6a8832 606f29ac44e62db6b482e5da7be4fb3ed6e9ecbe 62c28e5ccb473bc5eb3b674e4debc873b7cd50e4 6957bca17d655056ff82a8878edb7d063db1c3fb 7142a1456ecfbaad91a113ab93f51545cf4cb30d 7805621f27ada9df23bcd7abab9853c3c9a059aa 793e0012ce134159ebf0f52633f4ee2c60b00c53 7b596e0eb03352a65f8feedad341e67d00d9cdad 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1 973d6bd96dc9037f8676681fb869d6ae83013aac b92be31af05c3ce26288e844608163c3cc6492b3 d36b0aafd81f5bf0e93f3f31ab18d9ef32a5e4e1 dc217076872eb986a89109e382c7ed9f08a0dee2 f22f0029f33e2e874f5c3f7a79b570f46171fb9e f4ab5eaea02e8e225c961fb5f512062ca171a998 f6bf49589bc66db14a6c8b5cfa468392b6ad28b8 fb58d59dace66dc7ac9c95a4c261d420e353b0e6735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa3d7dfe78cee44354c8710e32b283a24411587fff # HOL-Eisbach