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 N#D4 w/ HOL-Lattice:threads=2elapsed=2.175cpu=3.576gc=0.000factor=1.647zXZִF! ]ŗXf1-q恈zt`7MDc(e%hNǙ8}9>*k`1obn}(mDBbn|P0>u4A[>9'JFb%Z6YЄWdPrK &t7@6c% u9L; 2yIZŷZ4g״dG}&@Q (D/]-IkC[ # HOL-LatticeF OTQx[(67hR)`(mA.a =s4![_ Y_gYZ7zXZִF! ]ŗXi%k= /@_xI!RK  p>?s½bc<ֲ[V{ Cz>QR<= `o~]V(n95:]'6jD5H9Gΰmuj 3O#JIf>]rD^ڢCpJ׽kƳi'Pgd;S̟J L&7 (a |"}ٚx[>1hVo"`eމ]{LiDUtXi(.^s2+M46tc0 nEpxhFwElL1xVS!w~t8#%C9ݵ_PJkĎOgG .!=xXGK:_DSxh; Z z&㺂yJ