SQLite format 3@ . YYQ77Atableisabelle_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, "errors" 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 a | E ZF-UNITY:threads=6elapsed=5.075cpu=25.292gc=0.856factor=4.987zXZִF! 6]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄē = NS؁iuKž!l1]$NkQ?6|/TԠ7BtvNʽ0 $/xwħTBفv@hTXn6 C@ 6+G[Ú6@ıB8)y6& 8)XYU`'eE_ |-j"|+8@R~;VYM¸J `!;OtEw^P،ZH)$/Ժ3@EF pP~dhmXN!:yqXf4r&z &쭺kwT1]o/(Ũ sG|d"i`.b9mٴ.NbQyWg}fauj8K5QrYQ[$OPvX$ƏC,ɮZ#k]<ʈco;nrq_}8'L}%gݮW{P~6dԝu{sdW1 TTϙ FtUӃޝ'wtQWQ;/E?DUa%]J *Y%-qR,'CKD2HU):mF5(|x/S, ٠G/%0Z/"v4Fi1<.2:-2@d@I6*C7mKooܣ˫ '&<|$R^pt˗ Ggn~&Tj[;- c~祂 #9Cuks}6A~z(/70Ej.׉tw@?aK