SQLite format 3 @
.0:
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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
W W &E t'\DWq80u{;g
ܵ< ,&<⑂!J`9}\#I+uJ iO^*69J &ȇT}W}Ni h#T3jh* w/C RB 1Wnu͙t<8p"?"D*йf3;IU53s#"eA k{J`9E6=kD0)Os4hpF 0L85)BM :+rGZ\g̸/J~~~ЃK .b } v0K"_m,5hFaa:>vI+FnU :*UsZ0O `&
-X&`Q>GN[4cM ][hA !A{kåMU&Män-CK^d2'Ԯ{`k?G<^6 Є
tWrbbōkc #@ aϐ5I fè+g YZ36ec6b8a6bec2384821a8e2a008656dc3a289d4478a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
E Name_Carrying_Type_Inference nE]9 $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Option.hs7zXZ ִF ! J] =@bQ4\Nc^̼ɲj%'Jgx60yL
5rUHK_ r Pmf($ CI HD+d/&UflPfAx EPg֤+[cWڳүEl{L"^_ׅ|wj,BW( iױV%T䙓x|[Z'ƸD~ d;P C-:2$fOKwfq]6gTMƦl[-|ў_C.DpS;$֕jDL[Mu_0Fg7
Zw0AH j-tx ?g YZyE]7 WR$t7ӗ%.y. L 9Jbyi"o $_hGE" iDlёI#QΚ4H^(E ~_6լLBy~|ދMHj읞^Ӏ<(~Ԁ5C F2iv.F@vw,p5hmvlwʜ߰-W-P>{v_. {r} K[g YZ3E]3 4Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fun.hs7zXZ ִF ! V] =@bQ4\Nc^̼ɲj%'Jgx60yL
5rUHK_ r PmZ?Urf< to2M1"T͑վd:{ 99H yCwJ- ;V9pA9gϩ^tc0ͱ%FPNϽѫ>F>V 5\Fex8ه8V4ﶾMr?|6C_.ڟw\ RP]QxNo~TC&0G:3t I]y8EY+swmҊ7oaX &͖"d "g
&
a -E hE]IName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/PreSimplyTyped.hs fE]EName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Product_Type.hs
fE]EName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Lattices_Big.hs eE]CName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/SimplyTyped.hscE]?Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Orderings.hs`E]9Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Option.hs_E]7Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fresh.hs_E]7Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Arith.hs^E]5Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/List.hs]E]3Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Set.hs\E]3 Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fun.hs
m nE]9 $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Option.hs7zXZ ִF ! J] =@bQ4\Nc^̼ɲj%'Jgx60yL
5rUHK_ r Pmf($ CI HD+d/&UflPfAx EPg֤+[cWڳүEl{L"^_ׅ|wj,BW( iױV%T䙓x|[Z'ƸD~ d;P C-:2$fOKwfq]6gTMƦl[-|ў_C.DpS;$֕jDL[Mu_0Fg7
Zw0AH j-tx ?g YZyE]7 WR$t7ӗ%.y. L 9Jbyi"o $_hGE" iDlёI#QΚ4H^(E ~_6լLBy~|ދMHj읞^Ӏ<(~Ԁ5C F2iv.F@vw,p5hmvlwʜ߰-W-P>{v_. {r} K[g YZ3E]3 4Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fun.hs7zXZ ִF ! V] =@bQ4\Nc^̼ɲj%'Jgx60yL
5rUHK_ r PmZ?Urf< to2M1"T͑վd:{ 99H yCwJ- ;V9pA9gϩ^tc0ͱ%FPNϽѫ>F>V 5\Fex8ه8V4ﶾMr?|6C_.ڟw\ RP]QxNo~TC&0G:3t I]y8EY+swmҊ7oaX &͖"d "g YZ
k
k V E]I dName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/PreSimplyTyped.hs7zXZ ִF !
] =@bQ4\Nc^̼ɲj%'Jgx60yL
5rUHK_ r PmrKЯ \.ťO!|
E; 1!GR5@ lt65iNH齗 |k/1-41S!0ҵ ju5 LWĐ^@c ffD dA4[)Mr]%\g,ۅndq<. X_ Q*z +v>;j%LkM./+,eqwD];:TB83Ϫuo`Na]S A
}4&^#7d zllCbY唦 {L9u]w?n0Q9
_H"43stoІ 3 V9ÇdT#8/%h \Ƀ)6ޢ@'CW@I#M~XA?C5G
ʞ%6Br0U,X;n
s_X%sHt]63얂/=Ԅpvv3(ǁqtrWpvPvs: XHi:|_S9|]`sTy}E'msEj[@-A ^\VF̕mH3lF0 IbA1+7ԇdJqH9'IB K:v:#BVhJ̎_i~ ^uW=R>Ci ` 2|\~VK,w>P 5 xk`*3a=GR ^؞H`&<*; cm+uT
/wYLSjٶxXQ+g%@TNŹO.xLxY(: FL@=m}!]@ vZ1lj nsg YZt
E]E $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Product_Type.hs7zXZ ִF ! J] =@bQ4\Nc^̼ɲj%'Jgx60yL
5rUHK_ r PmrR^6^C/߉u!QdUT3\de8OV7}`Uuڣ L *fy-b]hkMHV4J{AG&]t/f("z6 E_V^
~Js(@E7 Ԩ^GJ|{zY,q^S SG eњ@ Op&s=ۋy=v?8 nᲴ9w "~ 0!p Cҳuy^Mv5ں?+ qY,Qc,epʰr,-Aɶ\NM
bSFZM"] q
)|c@xLg}A=806HQƳ]hٌW{Xʰ:e3d\
/\GN='X ܷFnfi$G|q3V W7;Fg࿁7,oC;d$!GxZj k'K"F0ϲF~QG([aH y)9@HV::^v1e`?N!6_0f..#d. fhy BG,g YZqE]? $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Orderings.hs7zXZ ִF ! %] =@bQ4\Nc^̼ɲj%'Jgx60yL
5rUHK_ r Pmcnffw=ch(' V|ߌzn/V[ى 'U0BVN& q\ݤcl0Aco5@w\0
}/TzKi{, K} .I"-멦9oOnG20yXCC=vDUDbC8υaH5B_65 cμ&X_4,Z"3WIe5bW=}ES3:w_'VՃ o9A-@ Ĩ 1 le(g YZ