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 GG.!|4 / List-Index:threads=2elapsed=2.412cpu=4.624gc=0.076factor=1.927zXZִF! 8]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p|]A@b^S۹p0r[{a>,*V9/)5>ɶ KC >WtU={*sqV3ŹHG_Ld)4 E֧Pܘi JX%_6Xo&FRU#y`)3!x=β% 'LlT/aMB:{^1WBenwKeD.(_0gYZ7zXZִF! ]ŗXi%VjF҉-\sBWw2Sr 6cŇv#M&{2۳=dYG,mNL 'ֻ>eϢ*ꏘB:8*==M]Wz$/[1xtj5q)ޑYA$UO$ޚ˖vZl:\~(T}7NY'IM;!B0;G$Zֶ{ pI^gXZ*֎Q@H{*;S?2G[43}[|26"dh/1А[Kȑ?>uC# 9AAHNw !}Vs*#+&Y&515bʼnjk!OjpP  ]ܡ6˭i#w]xCZ1Y?PGT'(\ϓ CGQP)ƌgYZ1c7c9d56d0ed3378328ea8e8337b2f93f9bfd51f aa8081da44f277d5ddd7f6b923726c65686f8918 b1ef7a3ec85404c96c4b02989c93710eb0f9d36380f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b