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   t! t d ]/ NormByEval:threads=4elapsed=22.608cpu=54.928gc=1.272factor=2.437zXZִF! !]ŗXf[&zv׷K3?Oձ2?aE4} 3 L#<>D[yxxlh1M؋[GEuejIKjCh)koAT([>L)ޥtFeNsE"Ta~I .t/D$ ~ ަCRTt ]|6}1AA~B̮m DrOp?%*J Hfm5B:`ɥ&L FfCHcGXi <A/7&+RSM-`ZEI'#Yfѥ|>/ipP("@&҃{T*Ї$1%-(@4ψsTkr ZuFTW'E#٠cc1̤BC.CűgYZ7zXZִF! D::name=NormByEval.NBEelapsed=11.031cpu=25.160gc=0.912#/ ]E-#%)}YZ7zXZִF! j]ŗXi%G>!ᇠ95Vɫ*"+Κ|:>sQ4,~uxOn'-4({&J9TU4/Y ) ǃ`|'ﺔbJiV` /KaVmq? 1k _SSFT>`X*2$ ELRV%t~{4u,"TSh;Gm`ׄFRvZ-CSOiHrR+\+ [J499eNvz zm` N}T7VhU ]c|}moW JB< ⽞ FD$ᚤ0:ŏ >*D(E+\VJ~+q'}Y񠜽.T?iI[,M6}}:p24FSߑ1}ow[9P"Ggh(/vW̩$k>uPN< mwh@sJBK=mkWJ0!1M=~2z _Y4R?1GX P^_ n$p30<,30/3 7Zvbp-#>c8J]P ݚ3 s_]/lgv!3ۢ @>R/JOqjF/$Vɢ4j]x僖QKogUnO~85YLNO]E/E;*jQO L#75@Vs߻yDBD] ) ^N7ZOw< !0S%Bq NϒKMn5!H}4爈B5py@1_\p)j/5 ^gV\M &gIx..HF4;