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 U+< S MuchAdoAboutTwo:threads=2elapsed=5.317cpu=9.008gc=0.292factor=1.697zXZִ + MuchAdoAboutTwoF! /%V]ŗXf1-/6vR[k\_[FjhfPiYLKh:(| of؎eN^vX~8#޵.B#:j{v]є;ȃ-QPM$/n%+DV?+6eHi΃J ,џhM$y7pz=|hM-6UڄQ*Uƛ8@]J|2ς͛W >,_L*v.?*:O5ekI ѾLc>>P/A`ջ ]_ OpS;WWbDX>72uk]i^CSjܗQrwjiv}ԑTl9|1U&p$W:Ic.߅L$^ mgYZ7zXZִF! %J]ŗXi%DQ܏ @dݪ^t 37l䡿H,L鉢hBYL*.їqzn.[<; 3҄8L[h1Nx@p ލ"d:<;t[dZ' V)D,S"!c&h-T'(e! +yEjɖ,}{2Iu-pvgbtg}T\x_ϻ+r0r~5mtmN/8?R If ̗'L'?y"=E[uA59;9FָmO0_Jqo $m"z/iwXZ^FerQiպx6ey6V5K}N M0f!Z|3!"N7ѵ?pPk5kN'<Qeaeeބ & 5r){ T6Y83ߥ$cDֺ*gLƚVFAPLuhX&)p\ѨK|yfI UgQ"  3q>L7kȼ#fM`϶H koJ횜$7Jl&U>2cH'ėF1ﻓNwFУ״#<=` C .)O]_t*4272fd{@7?W} <–c+$wBHCm<JQHgYZ1e0ef1b731836edc5b77fd5fb97fba22104097e6 2ec70c5a14df2cc510e42fcb79e841ffe231c49b 8f8004349bfaa7d7d161c5cf53904cceaf76c45a c2b674203e2ed4778417cb7a191e611aa78312c77df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f