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 l!  , ]/ NormByEval:threads=4elapsed=24.635cpu=59.504gc=1.476factor=2.427zXZִF! "w]ŗXf[&zv׷K3?Oձ2?aE4} 3 L#<>D[yx$EthC㙚!V8s_('{@xw3Kp${<jF0T`_`s2}EŵE:.6O,l܌`|;p=ԶEaڠ6BQ5`]dS0{?:C=KKˊoL5I41<hs8ȁ4Ӌ2o!e$NE^Qm~d v &&x6uIga nΆ46sمF.dAtX30!F:s`zBr{ $K > V:yl&f=66tSb񁩖-X&nӪD Oh Lӥ?,fCVQ2v=(Ii)'IGߘnڢ[mpHEn&mn/P#i@̞JvWŔZ,Ed)BoӾ.UE8KtbL.*?xEѰ2D# o@by @F9+lҔ9&* *ϻIlsQ[h 3dT=DEX﮻A-( C̹j`!Q*/OTnԣFfދ#cN[jvD1SoTʊ5N ҅bqH6KnKꁛ *X45aCSyXafwBV5], 冤&60G?|먙`nk?0:GvXxl8̗yh[4?޿#6)n">.Z6st05x\)b8uں21D JȱgYZ7zXZִF! D::name=NormByEval.NBEelapsed=13.473cpu=29.980gc=1.076@9S:]E-#%)}YZ7zXZִF! ]ŗXi%L 0C9dU6.duWů;M?_h^Zi}gl;(9 W󝠧d2w>5={ORh!5\QNngul>;A@:$/&\D$:mucZw$uWT ڬc֪O68",F=NpeE6*L]uvAi ] \O>_eZ#g''4ŭXexNzb/C&t=mI.r!+cƇ_cî gӜpCJ'ަ=7&빓+]2~TqwAu/L5 @'s .2ɱSIisO"%# yڞ')aφ&njԚk'sGb>JaŴ53 vvbH!%_#%8z^91[`8,^t]Cgwk A a֝걟/*V&5DH%$z2'pd;3r5(07R.:L JbkKἄr]>uKc}q,h@ҝ l+fk,FQ% i |~}N 9yԆ ##=ь$|k 9׹ު/N) ˞6;BviVK/'@G}G^8Fsw+D4}յ=Rӳŏޝ!gjndVT5IY%#щ_ ]EZ`3"ka^i_#N c+ Σ(a-OUDs2炑W(0ԏFŰy[3g=k6 QoIcvs+fV\Z/ `%;iQ_9Pbc0|;s{&KqwME1OJF-3X_6_N(M <*0GۖR΂U'M`qJбn3-،g,|r-puF՛84{Poyg<3>jwEj{uPD_C'?8]f/2bs1 F#I$ zhUJD']]' =^PaMJ=m#;LW)ϩ2ei\QФWa`utɲ|w^}'?\̦5@+eW7#uZT2pʉDŒk믣&?[B^QÁ/5:/c3 PCC #2{Q^V@;}p5Ŷ@^'p|Kd4(A"_ȞK8x3e+/E37A!UG*|nMkLWVZll0Ml!Hrk%w8 ZUp(*7sK +[F2H}/,u_M[>ȝ6fmsYNkR:ZI}H{2x/` sp7LpA"նllwra@r66P|D0Z)W!\$#*(58Nu/)j|4ܪ!@#9)6 uwUFN NUJ^7ݹFZ-FO j(cX"A{7h_NQJmm2S 'SL2=*V!FW