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 u'`;Gؽ8nt*q* .#lw gh,jmthJh~@w}%_l ۿ=?s9dV4}n䀶t`7z/hl8/+8mЬA#3=!L~DEf\81f ˝ 8 #3"]l̂-+UK&P//xj~v_*4f&q0Ǜl <ժ/5VNî}ҍ}"< i7“^w4YTb:?K򅤮(+BFk$-3.B@2朊X.;SnE*(݉d%(sbec_R-<אYnWi)IBzGY8,~z=8JDph+HY/(Ve&(>g7qQn&1K3@&W{nq||T|dj1ba?#KMzuzv,-v$ha983٥/-~kqT5@Ɵk׊c\!St^zv9 ʓ+n-zir]1(uړV sލ,_Ow}v𗊝Ozٽc!3Mή]cD ?AdL*))1IDZ.訷{N-ùbo;^ި#ZW,80!Jv ؋\GY/T@yǒtf8^ICRW Ummu`B{ qw(}G )vFΌFYU{o؟4-Y m{Ս#9߲&yŤ9̠JF?bE}&|zR gw$$#[#o szs\|`]3(&wxP"YFө[?()d)g;TsUE^!bu=tѨQ1&peZE`H.>|[̸;n3sD I7F IH?%E# @,4rND܂wL+'gYZ7zXZִF! ]=]ŗX ' HOLCF-Prelude  i%>gHخ:xfǺ~B%hJbRv͋S=0W]*Glk͕!nǡ*Ivxˇj`B۱LHSAeH Gr "d dZ"l]rol>jr:dhݠ`>w.a~ᳯkKqq}J9BP3)ɝ\#Z Ws KI)$f D-ꚦ˰8_9(`XǺ[Kr hgqk$DSXTx⎮:8N*dFjG`KWk %7g5iCys= U[|FY)])z>YktVu 6$R^2)"vJz^G(0UgOgpN([GOMp1O!9ž@icQ=. 4еGA?ogf~$*.Rw>&ݐw.kWp[mh拖~'?׊R{RBZ "7|Y۾nZǓgV aWP ) Lw}/["Iϸ _uhi] #:TI'^>E,hZa^45_uH1rlatͿP0mh@Piօ C[|@l$ӗufGmobTHG;[dktzp'6VJՓMXb+k:yv!ɇ? .W4jk=ys9`敌+jCpOGO>;HK`mTnt - B MɍP\q߫--(Ŗ)$ O@K<ѵxNMLEOp۟l?0CWlwJ@{O7d2#s53XEa//%[=JJؿl|m~~(LBzmDB5/\6DE^KWM]MvݤdjLAZ_Er 5kYSk/pwU"!8 XVdtisV_KdV%*bH,x3<' u, ,Hzڗ{< N{ȅ_3FI&I2pS06KJ(fwF zkZL+]xz|+>(T3K&+t0Ue#\U[5*f~LIm\5d`e/ġNۣ?ػkn8V7:jY~ΥA՗ӂ pVHɺ}=T^_τ< 7/nYt@G&}[D|FsB&_ffUb?:(~*h5F @Cd'թ= PX((O6ؖ1k 8v@lO*W'.է3Houa`j,+ aג:6H~֌e &Z*MBW>Ax*h=Һ}H_<7pdQ387Gj6 )SlUCŠ76anj }V~Q=o,Q78\+ne-+]s?g.O?*T{it.7cQ u[oNhb\|.VP!h#%0y4jWyWtOAId!V1s|K2(2ˏ'Eܼ#;mbidh\ Ml2?zP%PU F0.f8#5C2jIZ.5p]m;Y.Ϛj?f{a 7M^=qސm6dڭ)Ö -D|QX;Y %\ki]2!}A$jl }vHJnsyyCU~Ga~9&K96b R9&j\RGJ*2^ }oUF: J伣~0l=@Dy%RaD?{\[42aW9_]>[B.E;]C_QEBj޸+pFhz@-R Ku=}QՇ&/=}.ISN0cS 嗕@!s˄NP^_K\nI T^e]?N|/HCt|dwCAHc{jJp+}[mԡn-L9y$1;[§VacSxgP7%;LZg<6HGC1B~3{2w u6Mf}\Teײe?6 W,-B:J,} $ b7ݰbicD||;М"DyUm)9ef+x^`4/E7$bk)w(J`CÚ,^чe0#Z-9gz~1Ko뎝R DmՙX`pCAa(┼zQutXl yf2Cݻ!p>ȃߎ-] 9wB$AήH^X=l ']/̐oN3ӥl7lJi؈:cfs ƣC(hp ;ßʹ e&ƒ|x%ۉ@o ZgNPkvO{jz9Yi,c*Q.M3S_)x' )8;$YD@"x>#3Ls8' QD@*D HDؤi-W>˅iwܡduo[IKH$!/iM&%l<?Xxj\ɢ4xoً/W:Б浯xVJA+{[k }P,פkGna#\d(.j5*c򞆃6MstMÄʘ^kKS/Fq/N] rqr#sSU[a)!'ނs;{㩣6`Ҙ ow@J\K8gKvN(T\m_ݿ:%~ICR^Aۘ]}~2l?Q"Cf% })TҏͿDt-6=VHWYuk}Rat4-㯵H9MO7o,Jem?@ ("BͿxǗ^AFh<&cgYZ1bafb19e9bd995da8c33aec73cb7f4ce6768582ca70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 8f9aaadc0b4028fdb119f251913a4fe75c9b47ac