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  s)ld< ] Chord_Segments:threads=4elapsed=4.273cpu=8.564gc=0.116factor=2.007zXZִF! ]ŗXf[&}y(+O2Z#b1<Q7XJZx襾6KEWѱ`uG(m7}ڤ"tR .R◍ #6m :cHߕfAB lüC_XgYZ7zXZִF! j]ŗXiɟlٞYZ?@Lx!ڿ|i^e-z(hqX`t-tkAo1N[eGz42Mgo?g_Rb7J^T8u<s|f[gYZ7zXZִF! ,k]ŗXi%Bjڇ@Cl/nϚV(:CIfd+}3T ll?r-.0hZyhX&WZRS-iRƅқM1o =GR ^rOݜg!/%)K Z6 CS#G6hCf ߊ$,<<F-6 7W_^#|zx=7CrÏF nmAsѕZ7fyiXh,YfH KWR˗w{QgJV!;>V,b7n5AZ|> ݾl1? 3ʓXA0-i_ ǣ4> ڶBZD &f3W6<+yɴb<~hS1F ≗z53au}$e[5e6&2ch$-$ĕ<_@o8ie83OdXee9 "[?bu)(G31CLd{d:*)+ic@:"J{ΩO҄\GT+kA: }5JY'.i"u hEa]B"+IRQG'aXa/fɲ3l]d=ۉ>>UlILQ/q}r %J ˑugRx"ͫA