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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
#L, ]/
PseudoHoops:threads=2elapsed=90.374cpu=120.440gc=5.620factor=1.337zXZ ִF ! Yx] ŗXf1-/6vR[3£ˎP$ x}s w Z
*ڑzIwl Hti~7tA$>8uy0T7!~k`FʳTkoha\>γ| 0XS4T1|ۉk`ϋ߃S>%iRO2X
lH
TeЖ= 9#ZPU?JXHt6^ n(wWsC>$an{NBi5W\[wzKAԖ-y!6"+q'w[P&IP\|VR"Y9
C9Zٕ5ND7nɞ_q'Ђإ
&ھ0,N氲D⇎_WF6;kCT*|]Rbck.g*[՚G4/XT92GkɆbYO!;U<#ZNbulU#Nm6BW 2bZ_C%Н$Hl(0d}[l.CQL
mCΜ_ߌx9!D9<PbOYkKc"w0q4RY S%jh y 0)y(ϒ#jLVaN,Hlksg^%4Ňv>f[Jƛ: :b%fAsv{FtjF?nQc)s|G
">.Q>jqnχ^pt9DfU+=ZGi+®+F"g4g1[
e-!B!J66s:,H%s/pł#ڇs_6;P5zvan:A^d i馛"J.q7HX!t%+4'FrvIA|j^)t(1L`|li1.?fGӰ6|p/3IbtVhFNW_UNZ#Ug+W{-s*BBr#-v P4ڧGO)f
Iաf"l
J/8
A%TG66
\5b?EIYxO>}@ajԄbw)FM
'1ԣ{)̀@ddk;֩o7ȍL榸"݊,{zUTf]lKa }TJ~
~ >LPOC0*qWqXUS&Ġۤ۬=pv~"$QvY`*q8FI2I~jLDњ3b1?(~>ӳճ5SV#/[
=[$8%iӗ=Tԅ+-erϨ2`@Y!R,U[+tţύ9OS%YDKzp/7u7\<#5؉A&0ƶ]O|9!ul2 0gLx172ŨU~"@ ¨QQq jeg YZ7zXZ ִF ! N] ŗXiɟ˗
g qmz7
$VV'z{&N0أ`JT`ʆf^Pq<\] HEើrMOpcL҃NJBYu7jH^Ь#Pψ>m2V9U~kzM'ZY]<q*^=Q QRL0VN ieר^mF?JLyJChUkEa}\Mx`*>H%kƏ^J깵96;G>_<괚LaCXu "nh{o .X&g YZ7zXZ ִF ! ị] ŗXi%; NSS(F14 t6X0qTAobǙ vU+sg$-T/XS2 tDU>K$]`k JduCȠF_
WfMLݣKUunn0OFo4_ &գLl
-W*3Z|'hkTm8܆:A$RH%"( CuJ2ɦIBõj
Np
dH|J#p~⬽yj5waYDWM@&r/_97gn"xp/ |:~'l Z W2e~QᵋXM4B2-7]m+<WLXi_P8a>RP9sتَ&u ~U%"{8j+u*:A Y\KOY'g˅%xIOZ6ex)PgA0˓S: j:RvIrQ]B=Fa"b@?t%V+}l>5! >2C.?Bf4'y@ nBD`(T_p7Pn>1n>\
Kӆ
# PseudoHoops <#G% PseudoHoopsPseudoHoops.PseudoHoopFiltersdocument.tex7zXZ ִF ! O*@] A-MՋhvG"uIBm5ƍ@_b)o.fn;d)E)p
9m,h S35F٩x`6__A!aC&jLGYgMKp.SI]Xj*+jzTR"
D^W]TA1iqcwk&