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  G G6) 4 w% Chord_Segments:threads=2elapsed=7.630cpu=10.028gc=0.156factor=1.317zXZִF! ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH99w.1 AO3^sNxĒXy;U.q̀Оw?)-y9{}OB>PW K~@}}T$*#_O _p4 0˺|SdVD\v0Ư6ѠrԺDbXgYZ7zXZִF! .A]ŗXi%6y48q?nŷu=՞&˺]S+ ]88z P@f%.2a?4M>{v) Ma=f]{+7W`7 1oLsJ1 dƗ?cU;ABm  r(%5Lەu|y*q efqSݪ#;.58k\Z)cpUWnڤ喢 HScYTs9gtVcea0nĘF*˓u"adOƂ*@XP1Fh(gFNG { Ng@Qېt*ax7`qϋ|n{A< i$]F6Ȕ'^bTX݌"s[I$_sTEZi8S#vٔU~usZt 6]Ud2WP*#K̇ڢolR،7 JS~e*9$"to8i_2GG|uYyo++jh4>]ЂuC;R3ub{Le&z9g2¥U)RFAkܛ'.So]?ZL xZ_*'--_1vp887_ x4wF= xWSy*S/H24M EK5+}1ySޅg|Hmj$wZT.MP42We»Y])ó AYY6T-(ɴu|ib]"ձgYZ0dab748913da0cfab9df81e3ff443c9249a7c435 34c9873997d079517ca2706eaa4aa4b8f33241c9 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe 79350daa9ca6a5dc1b4127c0474db63d723d6da0 eef6746d770fc46fae6b447c1dfca49114beab20554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 1d78b900664117bc27648b4f3031230e0f9a4d44 ) Chord_Segments