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 EtT / ZF-Coind:threads=2elapsed=0.659cpu=1.220gc=0.000factor=1.857zXZִF! r]ŗXf1-W5) G(ݨ}e ʾW{-iDd&a! v j;OTO@Hn3$"GhnʐRGε5L&55U  6]Yfalzj9VldP==YpeRs/L AhQ@}@XÓ   ZF-Coind͆:dN8L{G9}1r(uBf;ed}ZXbV\Fv<Nd "es 'W$ gf$Vg) (kB*lR(<~)NfYN<=K.ZW` spo:#pd+0gYZ7zXZִF! c]ŗXi%i>ͯ@haY~:_YWr04Gox7̵;x6'- j=~z9kFE_yA Hhj\d끍6ܰ<9ÖI0)z臙 %͙9,+K[ɟuqFї!QrY".]Qu7'OV J{I% Ysk=.oiS*ZCbP-fKxQeuLΝlJ)A_d`/Y|"orY{]Ȫсry ~5jE=Hgc77$F|pC! +gYZ0781d4f8110620b6893583d9a14b337f90c28b73 3f88d81af35893970cc986377eca5a08189fa3ac b57d31fcd7ff1f934ef281532e125734c69a3308 c3db57cb819716f3470e569b0c35b518278d88e6 cc8856a6a894dc243525a315c1403d33134885c0 d8f1a45b367d6f2fb1be2e1c839b1ab3df2a8fe3 f3544e03622cca219795561cf27967131a8ed9dd f69610db6d8d056f385c8f2737092c0c92b834d6d2fbbb72014e26de66d280d7be7d08deaaabe52f 0a5a5f9d77cce4612927cf05284874a58e3106a0