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 a, i]]FOL:threads=2elapsed=2.803cpu=3.160gc=0.188factor=1.137zXZִF!   FOL]ŗXf1-) enȈA XR„Q-qƚEDZ?oH`^[K TYL`DAZOc\vF;7 %W$fXP.,Gf&:]r>f}fS 9 !gYZ7zXZִF! 5]ŗXi%"-W/jYfw8CWNzV}s 2Zt > ] 103ݸSD@>WE\E*EwNt77rԍdpЭޏ9hRYdzu`hA$cͶ췊e@P83ǻOI^l ~A6 V ̧DRԝL - 1Cۉn{%|\rtES(Ll-Qb[g [9i 9fdbz ע7|^QT;pӴ+h#TAI~@Uƶ;Uj) |3ģfzXb8ĵGvs:?䲕w ʨkϗ[t48op)RgЬ$J]'prY" .B쟘v#uV?.9:gYZ05232043e2f6dcf0d3c3b97dfcf160d0f2d6763a 093e7fda42ae6364405854aaa6ad3e616a522b8b 14db55975ce70793e1f28e49981ebc12bf712aaa 1674c49fd31f80ac65ecb4b1c8d560d7ceb00650 228ec6545c1e72150b0dfaa862505c5999b0f301 33d270d7e7b4fec15ec4e468fbf4cb701774ce22 378a226ac35affc3be76dd4ab79e28a6947aad43 4ad68d929330874fff877fe0040e5489f460145f 57f19d44e3eb930d6d127ccc2493ffb2bb6a8832 606f29ac44e62db6b482e5da7be4fb3ed6e9ecbe 62c28e5ccb473bc5eb3b674e4debc873b7cd50e4 6957bca17d655056ff82a8878edb7d063db1c3fb 7805621f27ada9df23bcd7abab9853c3c9a059aa 793e0012ce134159ebf0f52633f4ee2c60b00c53 7b596e0eb03352a65f8feedad341e67d00d9cdad b92be31af05c3ce26288e844608163c3cc6492b3 bc64f129d34720f4828f3c9628d54d0ecd9e607e cfaa16fd723a7b2c17a43ed2e7e6aafede355616 d36b0aafd81f5bf0e93f3f31ab18d9ef32a5e4e1 dc217076872eb986a89109e382c7ed9f08a0dee2 f22f0029f33e2e874f5c3f7a79b570f46171fb9e f4ab5eaea02e8e225c961fb5f512062ca171a998 f6bf49589bc66db14a6c8b5cfa468392b6ad28b876e60ab7be570c8f37ab4fbd0cc297599bd4212ee5de520c53a092cf2d19c2ab575ff2fcc249a5d5