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 DD97 T,d ]% Transformer_Semantics:threads=4elapsed=7.773cpu=26.844gc=0.624factor=3.457zXZִF! ]ŗXf[&}=AL-3jtNc9jVq&(]x C,kX\ 6 Њ :5^c&6]n}/q&zVd*k IsUAФ]CE7G(22lS$iٙX-<4F`٨5i?_c62?\үmS&VVF1#R^OݶeI6,ד9/7"\T 6SXƿSqکQl綾"VM@PE`Ʃx]Of\n/欉P㻢>F;JM*r>;Vs" N9_r97m셢 !agYZ7zXZִF! 8]ŗXiɟlΈA-̅(G]9c YA}xzL_0Z32A)x,|5U6H\d&?b.a8c?4nxWp$t"&2+w#s<zg5ie|fD0,qyaePNNjˢ "23q􉆟=-ǙEi͉ ygYZ7zXZִF! @-]ŗXi%B۾2dZe>L1f@*ŧdB^KA;PW!B(J U$zjMeRGCCyHWA9X~F.x ܇_\ jT/AkJ"JpUb5+m0/֭9wN|d\zYAșT6uyI^w]^ y.]fuE@|fOۻgOl59NGvd g_La,/&/4mbǨwjHN[0rY hQ?#ᩩN‚)SZ>'iqe19)u*LFRQclF=®*0b25@jVΤ3QlӤ$.qū4ؕ&JT؆l[~R6ס3D;(Y6ALU<C4;,k)>3 `^4Qz`_d &R̒2=7i܏C 9P4W'ca#h4=V+6,ȸWG%xpVY]d T2Qg`+G u լze0]Ev7PB(V\m藇 ٢*vl40]B%#(i Tg[*>^p4YRҢE[z)A +k#@zd