SQLite format 3@ .0:  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   w)Ddl ] Chord_Segments:threads=4elapsed=3.536cpu=7.780gc=0.140factor=2.207zXZִF! ]ŗXf[&}y(+O2Z#b1<Qq7㱘V !)Okƾem8ZGwf +ؑm\6ᅂ"pF頋4L o'3afd/ :=SP'ZoL7 ˰ 7gYZ7zXZִF! i]ŗXiɟlٞYZ?@Lx!ڿ|m'/''BcUP+LC751cBv|[m8' JR`}b GݱgYZ7zXZִF! ).]ŗXi%GМpLf2X =wcwtr~رqv|9O%/fNi3 ``K6pٔ#`R"Xm3-e8!jbj<-v傝4IxtULe oر(Kpi9/H93UAJj7h\V;]}M Yu=@ߪ#`*Or )Z+tne#$;J)U<"=rEk} L/cb␟S0R@1TǮCD<nj2ѮɠG|oĶB7'9{`ȭ֚S v:d#cL2؆$uU&Q S cs+sflG6Az8|s}&~%p7eJjȊPz,7T"uSS%24BXù |>g:&6b4\W4,Nah"&IfZ:)?ʦ#aH鐎R (n!{ )ȳ]ՂJ }]ձ-b_BpKd?5$+GI˚=oFtyn_ol-4U\;p1=姀Z\cf"<.OyϮf/f_! J5J䅬r2u,;M SeZgYZ442b2520fa9de3167dc4d439bd7c84cb1e1225a1a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 2f1df30b59f380b2c8c2f73b1e93b179f1f922db ) Chord_Segments