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 77>!L / List-Index:threads=2elapsed=2.550cpu=4.796gc=0.080factor=1.887zXZִF! 6]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p/Lp:ӷoì=ʠ-Մl?`޹˝]0hm:d Wʷ_LG9e 9r hkY41+ty 49 UǕ+}[) /8 GqI 8W">;MAeWMٺhgז- K@Ҵ(w utɨw+.)iCqzzH"e&ym%vIkmy u  ! List-Index‡= 9]:hB¬ mgm}x$D*QY2?Yggxf{z.GO/jG- t{ńrkOCn#Ɲr33g!O$8帶QRL֗ `PW,BƲ :(8KgYZ7zXZִF! ]ŗXi%DQ/u}6w$( _>7!%5/Tc|r-1A(d!gJ}{+lZc 2a PQt;y_bR]uQ@p7d=ѧ>u2KGtepiŜD~ڿWl7U,^g..QtIVDFt{0g$=?OÂ\>&O*EVc~2F[Hɥ/L?F ]V'԰ L$\kf 3ów4 O{|D?օV6"l@h%l BnnRsBmSBGbm-Ɇ |jv4ǧ^0A>цđ=G?R_A #ęo,pnZh rdžDD2Uv>!-#{X;tYa Kg[^}i!B*-\bv7˭]:Q JKȦb)|@gYZ1c7c9d56d0ed3378328ea8e8337b2f93f9bfd51f aa8081da44f277d5ddd7f6b923726c65686f8918 b1ef7a3ec85404c96c4b02989c93710eb0f9d3637df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56