SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  )Dd, ] Chord_Segments:threads=4elapsed=3.622cpu=7.912gc=0.156factor=2.187zXZִF! ]ŗXf[&}y(+O2Z#b1<Qq7㱘V !)Okƾe=g) Y+<\VdFq0jj7EbB Gq{P N|7*h4r:IcT7#6dhzgYZ7zXZִF! k]ŗXiɟlٞYZ?@Lx!ڿ|PV`Nv#kQq):|wPR6c@3eKD9sgI"$<5J}Hu$gYZ7zXZִF! ,YO]ŗXi%L Tmrw4'P$l}sɕR-Z`l[4̕H9 T̳vj[o?LH]aֲ1 #3].Ԓ{'cʢ\o\8͔' rOU v{GvL6b*^wa"ƫ:x@<sA_z :mjB 6\廠#4<%XZ@_P %R* .5H9yyGݶذZtc(]45^)} 'Xa:U.&ϚeOگw*T#cao&f)ފ%&DQ26'$5rJ)r7G#aU"uTUaSZgrC8jiN\72 8˴KO(~mƭG 6"0YtGfVj F@O˂I_o;0+kJ a_ǸSY r@ OЦqfMf)޾׳ (<7Å}XGRrA‘(OX6NbĖp IG,j=?֍(ˇ.`OX~z"̶8|sh~(ښ猑 A [2f\*[XgYZca48c02609838fd81ac51ff37eba921a38cde910d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 ) Chord_Segments