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  k k 4dT ]S Valuation:threads=4elapsed=35.961cpu=114.872gc=4.092factor=3.197zXZִF! FG]ŗXf[&эy"$jBVHVCv/ICNG ̈n7C-/ .z/}gFv+SKedW)SG/7 `T*.ʋfsGsZه4]ĴK#_i?n,  f[\($;B'V .zYW̤SRIDNEoo²4еmd$.g>R0 e}vhEf4w =rl&V\0NUFr!.2y],w% CBz脢T[XdcF"uUr/_H!ôN־'@UbyfiTu91V(#A;evjuag=t-;)*hqp ŶXψ{q# BAO9m@[\۰-6qz96%d5w!#z;KŶ!]ˁ=p- $ֲS&u[_CPx$-|!KUgY*~\m.j"g'HbwOϊR $3(=p e2)(!%N HEtJ3T8`ΖU[?oqwHSO)RMVZ5_#ݣeԱi qOzvP(@O6'κ20擃t*}^#ł,BH4 H/OpդbO4_˘E˶=0y$umB Gc6n".7 uTWPџ/hѸkG1 !O?)Wh/65DE)#e=V-itDشO) e./s8K:CmiAFKd,)/vg<^F"p𣤏qx{ʽWlbS+zXDa=lT C!66^H0T*aVe2 ϥy}{?wAmnV*@|"%gR6^98F)uMc%h5mr\8ߌ=:Y)lj'~Fdчc m+7qJI(v2{{[&BmxaqN/,ScNpVv1%[r ^pZqԦ|nb_;1><\A%'ϖDi?, &6d|4XˁTɘKf-: FFp/ a,5Z )| " ;޿59ZK*ˏ[Jbo_ iGQz YBkmwnN uqz$s ȌYZgYZ7zXZִF! i]   Valuation  ŗXiɟ9tfZ6Ͻ ,۪_8Ď}g칤! VeD{>ӽ uMi;? 'i=|`O[|(1usegYZ7zXZִF! a]ŗXi%Bhµt#Y.>|%V\]25.:!Q6=ƻ׾ ܺ`/ =rVK$pis?8]f+ds ARpX<3cf׻^0kbLѬ]!]G;eh6e6?9)"j}23T:a0:]T.JPTtˍws>j2w7 @clȄLwEd22;L,6HW!2>s K/f !AL78%#3%m_R wPwrkBsLkB{:1 T4 a!*%|̦M2ܬ{@ibH2rBxaA{,,}'MkDsY5bY-݆|=XS$_Z3憎#lN"=fŁU۫z3`Z ^cY&Uo;M HIqv[>z9c);Ee-D!1tVy h>1UϚ8m1勇yJv||,J;/²0UD (bEA_zBw[ $<E22=SvWgQl1&RZNQۆ l5\#ꘅC:IF/MԾh2/%Mֹ|S{?(*QTJo۝p0tβjV,1̘2x? SD51hr,dA(U9J#Jm"qMBY>Z4%: #:xA Ǯ#5Tp&ydpQ. d#xzareg!@9 d hKv5^z>&|SsVެF DlI934ɂ$PZi!Ut?ZG6+=%.K`0dӁn~Wf 8e*gpTBكIL+xDHݳXyv` {UR+㖝(H018.;xX 5i˒2:#/ΨbR6=4ɐ!+rFK%8.mǓ0^]h6&;Jk ~[6.\d8A#zՎ8ى4 ˓U[hʪfq=- 0o ȕ(ZFg@*ʝ4v̗  Fj0}~{o^ˁt#/6Gy"s|O/7LoEa歂0Ii4@6ѡn'(;uXrt(8qCTBI*w6Z'1 xjT`]҅;&3*! JpBI=-<\