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 p! D ]/ NormByEval:threads=4elapsed=21.069cpu=53.824gc=1.452factor=2.557zXZִF! ~]ŗXf[&zv׷K3?Oձ2?aE4} 3 L#<>D[yx$s*)b$pk>e*wzI̯>@d%LtM7%#f yb҃A˩bTZ@C'i$rD\Y+Q(Ӥ \k-ăK' *R>t uyU|o9P`M40ċ:@B %^a :"JvIm/[6i.w D; +wiD6YMM'. KV`B[c)b9(l ]>-m~6{KBl?|@(`?OyWPSc齪W<ٰzU^} $=Cި"om?Y^kATGBd6j@ f,n{K}pLOƉT3zwa 49~pZn)k>y ]o=d et^ǤA c|NfqO3( ,ﱂyC86FN}hCCF1>TtL-W$:{怦Wq.R{'ɩ2?سgYZ7zXZִF! D::name=NormByEval.NBEelapsed=11.533cpu=28.568gc=1.200|.R]E-#%)}YZ7zXZִF! n ]ŗXi%BtٌݧEkA^W! T׎ˉ`#2dho5m1coڮ;G#l5иK$wcPhl-|G$-Û+6efסcJ|Bg+ՒtNsDP2ʇ6V_0,9EљR8Fcvj2B/Od1Mpșbx|;{; R;M֫jC;;e|雔w5ƖppSFIrfc'R9A&: U- e'VAǕV9 o6LBQĘE~\q_kN7 );_-vtk(\@Mm;\y…M$\n|?6ׇkFUQI`udJ^rθDxtj?@ K:Vu1s`MJjN¬Gov36*'[BU?iBl]GL3K)bc&ɞ  }Ť,fK}m*E}8fB\wvaMjKdd  TYPvRrϊ~Ko+.e`/Z ;طk ybڥ궨CQw S$&w5ALt#-] T!xNA?ȁ6KgTX-٠i;``"&N-rr:VHgBrE4؋>'UG-^IQ#TÀ0]K_LD Q'ey3J ubK?O #5ߜܝ[9ǂc.wD|J&`/@3EϱI%>wCaS8^U&&L@HJ 'l%2 'QohIY# ]>`nI1V?P} o nUMSCf%!h mӇ14Oa|(jnYiMj?u-B1WgHk%CmZoܖWev5wg9apqy8EqLE04?]O=Pr$ǔr_߃&tYVRv7HSSLh/$SfƃSBdm3A3Bh8l̙.@kK߻{! %=k6KۡsyEkcѥs-04 \;/n\&Mˁҿ|O"~Vϖ@@(|m P Nas*%&lK"o0vcV-n/V̞IBWN=㾚٬-7+>Ai:ž^_ n{L'0H PyhP$)TkGNr!ŒUCrV) %5'Q'umȯ\D7ÙY$S'WHeOʰӿa[NI%t¥uW A(H gUXTeErO:dF+V?*?yt>=4VYۺ~s$|"ȪHSoaWf eJXSP%_ :g&eT]RP~^Rz6G3+`rĺTEDsn^$!wT״,<9>!cioF#Gpi V[fvA$b$>AQw=Z!s8h{UkD@m>W:LutNS- SߟP0΅d5 WUHңQ9K!p`CQK+TM{w~\kŨ$FuzFa:dN)|/[=0ck-C,Og([475/k.- 6-<4n޳"w  K$s~uyG׫/̝4E7 &*vxk](6:3;K-( suB)+Xq6ꉣz m c4&H-iu$,v6n6Ly`P+# ȯ§^E78`P[˸Q00z9_ggYZ0c96bcc7565a375416ae03f88d9d8e8f92206f963853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0  ! NormByEval