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 D c] CTT:threads=2elapsed=0.712cpu=1.060gc=0.000factor=1.497zXZִF! }]ŗXf1-ĽeF5ˤ]GEaDRzL']z=M9YUF^9zKfg*XjS,䵷3D*34C1C;ߡⓅļu> FU"Id ߱Cpo  CTTgYZ7zXZִF! ]ŗXi%BU^{hL̅D ,y*^wn"tV볤1숊'ibF5I aju)2Cnp4Kүݡ"nEʺ  . pAe2p!d᳜+c( K1GbE艙ÛL t|㑖qA qz_&V,Rw~N;Y.gR͞a .HnY!|()e29os@':{4EW3~D($u~ƲFҐW2 6)vC4i4e}G)Pܩ1X],' mr%|gYZ2658e33a15986e48c0313c55cab49287ec17b82d 47ab5e12f713c12a600183f27a54a2d10fc7bcc5 4ff231e9dbfbd8b32a7192fa22b7eada470a5f38 65cf2a054ac068ba5c48abd1baf0030c71056898 8356fd26cc30a0292c7ac4dd7e4b27635be869a5 9089ef3c13c08d3ba5b3a9e4cdeb9e5b991598df b8cdc9672f8c2445ddd4eedf3b42acca2f61a654 c67c28f1d97b6ec5a2744b872068a2af97908f23 cbd62024e1ebc1e91e9c12675b807a1a7a7e6911 d5dc92c918f7f2926d839b163368a5b800022194 dfb3fc7fe09084753f19431307f82ada78d50fc0 f171316eb9258a904025aed6f1ab96ccbd54f4531d303aa48c02fbfb8fe205c90ee243804756e6a6