SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 h! t L ]/ NormByEval:threads=2elapsed=28.183cpu=47.400gc=1.364factor=1.687zXZִF! q]ŗXf1-/6vR[yK6Φ + ?+)82AN2mt:l# h}t "0tHliwz~>Magph)x_geՔ%̉ 1K47кId |LhJ;V~P}!t4c\YuvB{ ,YY)dPRbr[q9beCsKa#fε'{;|') Qvk[4DRC3suF'`b{\uETn tey֘E^#7u`o>6_ܲǨ| n:j\ 6G\}L.ɑG*?i{tg}X=tt6 6Ky/9-!1K橌!Mbwuu]75Q*pm2#g(]G|OQN޲(m>W:20hl&tzql.ms BvL+$hV8q )٣q&p2K+n:Y=H 0 GYnG5s !{KG7kE: pk(G,}ŌP̥+~vĿCRe*({/JxasH%j2Gn/&KPDOUi{qqyKe2V}hP'A4+m+5~ny G{_ܔNA޹RY6vjsH'uكW ܐg@T%!gYZ7zXZִF! D::name=NormByEval.NBEelapsed=11.344cpu=20.744gc=0.912tl/5]E-#%)}YZ7zXZִF! ]ŗXi%>g8UI[v a͚v+ؿw5c @ȂW}_I=zLV(reՎez?2Yˉj5~5PFN72 }8xi˲NSbثaXF/`Y\9-֮0}O$ޅ{<2@ķUM ,HV>nYʬn(pH#`>X陦хM.!)Dmzsj.Bl䬊N}H`LG(e 2Z!wB) |8Jl[Jo{"/?6N͂6PfH2s,]4cZ^ʜ| q }}sv CYy,ICxJF4C? \ ,aR ٥>؁VRVwel69chQ<5 ("DwC.tظZy[eu<,*mkX/HGØK2 Oz^W*Qw{qhF2nS4ƸʹA=+l=F)Y.MiRjlW<}Qˍ ;/릃tU|TdzOvkn*aҙ Zt)'1"i JV2\3kG-SRZd];ewp )3wju&Yx1)$qi᝶ pG ҍ]H2$7͉ K?O 8ȄES#=S FaZ(KT֏xu Y]Mx1EX3_PÑt3(f#> =kvEnr#zaQCيEwH Z :x&Q0f8/ܺfO; Kj>kv Yu"oZ›]# `(5ER=nD<#PTTpzyGY`OH $6I P1D˷N~l}fR`oΔŔOZNdfyỦU\eI]a}觖>Gq7*TQ*=5 2֐xp}]$B1QnF"xGCij!E+F442%ԝqd Q]Ykp h^RB lߘ!TJh&׭ C =@ު#jWհmI9嵧G/Y9gyTaxf:>:1׉^5GLtLxCgz0e&Qh`!|K]7+ZgОp`(Igc`pBU="OmeH_bYTԇ~;CP+6=Ntkf 7z"o|n%Zw_wIWåE&+y$pC*XW&c,kD"5U|HYM>J@B[,$`2R8*hVcIJ\nGs |Q)r?f^g LYOʔ5#WOW2cTL}9!v ٮ%TPB>^&jB34l5iaAe[uuZ Y\szD$5[to0#oN;;gyl@UW5ZifRF@\ U#uhűq8c`6ɐVʴ{yq!E`wQy,1[<w8t#بq w"8x̵Ihc+>㸳碰V(}BMrb0!۞PO"Q'NT>d 'iH!0|κ!h,dȪo̵(_lUSZ1˲V moLUFlBcelȠDT60p̐y^W 3_!W'ˆ 4W.JsEWBu*G{!2[\s t(CiUj}+H)hkѱM !&0U