SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  B B;)t\L ] Chord_Segments:threads=2elapsed=5.652cpu=7.624gc=0.156factor=1.357zXZִF! ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH :]6 Zl4nfOV"ˈOxKem{Y YR#o*U Z*kJZI|_aY'm?)5!ޱgYZ7zXZִF! g]ŗXiɟlٞYZ?@Lx!ڿ|i>> y +RƉx6 Q? wQ`\{VKЧ^" mT#" Q gYZ7zXZִF! *1]ŗXi%ήumuM;0h/_H8JW SۦԙA/fN[2k\Πq-\Q4OWӍ/Mgm,#/KV D2&]y̠l܈$Lv35\E: 1Z*nn;B;8\%=2,U(tI9KVqi*ڭZ/\&`0`[ҡLyFEl~ Ek;^G$Ԁ;VTnwWkLDj[ݛenMjVZA`TrlNP @ zPpaأt'D"Ӻ X21V,*}PpUlbǕpK^l0u_qt7Q:WE6 Hr&6Hnd>+_c`I/@EdDAfĐP08!cf*%V8@TGp}T+gYZ2c8de2fc3af3c5ceacfc756f353cfca972125c6300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6 ) Chord_Segments