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 ++R 4D ]S IOA-NTP:threads=4elapsed=6.251cpu=14.752gc=0.424factor=2.367zXZִF! S]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_ Vj{)1MňS0ύI_LlxOf=4LcnM3~" &WZ8|1bɧOWlث Jn=cIr&llŗ/nz S. l9M]1Li%\i ڎF6VLl<_/0U] ߤ\[04rv~7h\Fw!NaK㊐͚iF]\hmphGv RyKbA(ǒGjNgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz$AG܆SbdĎ]|YMs{}~OGCT6 |ƻd42BPs2FtT61M<-k{0| d}o Of) 5Ҩ$QC'}5_xQq@ ~2Lr?Љx a4_\Hn"cD BP٣BUȋu>gYZ7zXZִF! #]ŗXi%G`g;MvGm)xuH7gܽȀ`QtO*`[Z(=sWt?UOVj}kE;!ʷ핞ƵCiEBl4@pl~2Nr}{#'gTI3sZUw;zޣ Km=[Yd~1U2pZ\1Dg|km_YdG!})IZCQT?jb hrZnt &F*Q7cy_$HFq#&ba 0[Qs J ^&Gҝ#N* T0 LVͰ`=y2]@hY9gB7{uz85R,w%缗^dx |n)!޾`8P 1s)*U6 ڻWjDvq=N5MnhhRY,v5:m$GCtA`o j WJVv-眫KM7f2+|F 5n.ꦅ Wpht ϏlN$:څ- 8o