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 *% |\ %S Posix-Lexing:threads=2elapsed=15.753cpu=29.344gc=1.520factor=1.867zXZִF! ]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4p';(_JXu)f(-5PCk c _b(SrL;10)$l$(N_^X'lϯ*cޏܘ/^^Pu#t5бePn%]`Z` DÃ1@Ek%'$!6(kq\'8?+tD;4#NHRnTdPkf F bs@pH-;eDAh%f?ox#o$ LVZ -B"y74gt_5>{,ˮ{q¢_rR8Gec d5 H{ţa4<ƿiP/ASt;(ogYZ7zXZִF! R.]ŗXi% ~UKYjUO!Q-~M~ &K m+J_5vݲh gl)a۷I++/`J{@%!LJ%sg3ǘq#TW9ܾ|ݗܨIOqS"7 `z7doRW^jL5ou浮wM;lم}O(4TZ 0kBTF%/NFgo67rSo;5N|Ԣ߀t\98b1+kC4)sՃ#in2'8_71\:€gH 62|# WEe8]V[v YHhg+-vq_/r ᡃGi0uޏf%ƸG+PlHP]@f!V 6`oyÒIOCf؂EŶ1WaĈ(b`+j]ͯ"bY41kxO>s55 -=9^&7,~uFzMݔl0]QAM&hNR]<%YPFEH;3mtrZݥPJ1ֆr9Ɨ1g>bby!F Դ{T0GI;bꯩXQ.,(ww5:ۗ0;WF'Yn P(~x=,O*Sڴq4].JW!\Zi%D0?6 nlKVxqϱqg@iKmVcy=a` ,C" ~99xv-q# gñgYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e4070d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91 d246641d4f20a97b79e88871f7c74824aeb78de5