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 M7 ,D ]% Transformer_Semantics:threads=4elapsed=8.422cpu=29.360gc=0.860factor=3.497zXZִF! -]ŗXf[&}=AL-3jtNc9jVq&(]x C,kX\ $6rfuf %:gYubji=xYzA5=?U]f>ͰKH>x]i= s;EIVcjh[h^1j]!2Y<-,C.gHy\+Ҋ鼜ʇj{h_N<'9󬇋׷aAc٠aQ&hM9ز@Z2z䅎)? 1, +jslstwV+7:26UG:ZZp}]tkP:j9UB{qjyghuZ61K/^P=edi]Ir4Jbo^E !$BgYZ7zXZִF! 8]ŗXiɟlΈA-̅(G]9c YA}xzL_0Z32A%r6kseua,'ChVW~ݦ4Ud7Źx_iqr(1:젺-eSl,RMfl>}0&gc6 wbH^^jw'X2bGvbA`=vEAK+`_mgYZ7zXZִF! E\]ŗXi%I慯Ea[$viRƱh^?5/ g#6L ãNNuh/rnXn ܧҫ-Ⱦfw@>6:>$&m]*.q)|-3hy4 `y[/oDd0(vɉj`lXDf8O6棈s" sv1* (:֒N_|yP|~D{ Ӧ^$a[i\]d{rir{o5MN ъH<;eƨW%wO틭@Sz F;>a,Г 9ӗU/2F[DyET&~: Wߎ0dSUHm5@i؞XAfEۍ@:ijqrhk ?{ތx8i^f_]\0bO)iьq`懁2A@'N|Vz\X9bͯAFP8 lL\iY"EuZK= h~T0B wVjl;}tNjac TgYZ4a5053029099196095aa2c4478ad904a2216c5fe5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 3d06e4ad8291cd7c138349947c47178ca5cf785e f1b3e4979a83fd213727e778aaf9603f568d18a7 7 Transformer_Semantics