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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info L-~B?}j=rSr)c3HnS[O?FmE30O4+fk\aGĐPtl'/ 99.VN \5$W;NV҂B,%FC%d%bo ܍b1(Uѭfk_R{P, pwPNV Nhk7#,\6 wAG ¹wudPRQ!ѝo/ $(}d5_E)_Q^n΅6!4J=Ӑn h 5V#w^.dC( WRÜ_ޚиL%qUs%F:6`Y1ovwv_$ͩ;.LL}o8Pz@׮ygGm#CtYo.\+TdM˯t,ӌ1<>e;H%\-,LuP06:{WC TekE5N' װ"|i>Uzǯcz{2|G[tF V5/hqJ);k4vzm&0"* U,B^gYZ7zXZִF! ]ŗXiɟ1˦r1`ZWw+9w`a1J|>;sOЅU-U*d\j #匶L^CRtTɛ/]zɥߋO ;׵t y^P@Cn Hw={$yJV,v"_BLA{?Tq|< 6vnfFZde}*>}b-74lRPaH͈^$=`HXKgx839G:<eKIYrjޘO@WQԢªJFqtp\e_PR]3?\a1&C۶j:p3 =.Mnwܽ]@̗AN - Smooth_Manifolds  peHil܆1}3)AO(4FKôGwegpZVx2pBK)N`m#5hZchkݜ7t`$ Ҕ$4?8X8TU6u`P{9'|< 7Z>z`NJ!+&bhҬ{kJ]k 87kzTkRڵW J (ӝ~ F}XKS)5I5 Ρ͎ @hN,e0AslT9`3p?1>[%:tXx}x7狤Zez{i3a qBѶ&P?7Jm\R!0o8k-ۃ!Cd̗o! TK91ܒbRJgH dp4HۿFbY.C1峉э 4'W;nlm)Vu%m6vpq 첁X2&9Kh)!G:ta\l:'&Ah`ssjKQtcLynY 2*Xh22#$i [E3{%yH2\9 []>`EBJ8b?:XK"? B:/}ȣ5j5NQZ9.Տc=`-6Vl9NE݀بS>GE(lgcѧb$jޠ4^$A,&^ >FgUg K;DӋyw)QxMFED&m47d/8u8 &T}J좗*]R- 7su0E]̕vx]Rnu.lռu K(9%%':c:,wcԟ7#0'@@^2H0Sm|̞f䈛>3S*Ns?G>~/S= DT8UvsˌaRaxoʫKrK mg$oI0Шfcq؞dAav02.-|Jh?Z)[KWfނ |g+_)+ @]C(xoĹzbbעL6a WH:Ì0 O%+w0L4Wg>I>ɭpyRw.u}Q&?L+uS 17! d`K4I?"CcB* M1Hw|y}ǯڞ3-DT}r٤VL[~(U*?Wk0![Kgh68WnZ}%#Ud&PIBQL #apB5*:G7,pt+ K3kϩ{SMkHD+KT{- 8MP5lqu"=2x{YK]F > }Iܦk ҋMWdw[v#U?Ȁl<.U_~ &-(ǬAơJU\MG'TQEka4wds Ĭ:8⏑Nnt3W'+0[Q):} wnbEJPazDEn\F{K߆b}LJ{9-0~F{$33s18*$prAXgSkLGnLY"JLL<|k/QT5 @gN Xݔ놄xS用L7`Z5A ]/1*-&Mh'PRʌf8T-4MoCmW#c}ᝲpz=ɵ/r*\j^h6a =b֎gpGb!P?6X8L*rq.dd$-o f= /"C0(IdsiPEu `*Ȭl%4)yY¦$7+l@>uLvC寕=;]ͩ-3֦9s͊T|t̯YѷO\MU1?3~UD,a6WvNވݍ(}!)#Kiųbq[I(綘F;,VFmrO?;qb, M9E0':ˎT۴6"t9.>09`ԡ3n^RZ؄Lz,\S-=ssL곈KR+$ 0`p֥4ތ=EBiG"b8Q#2>zG[_jjpZĸq8~ɵ#T2۳ont%c!t4IrZjӀA+ZK*bۖ\\/g9Bm\e?)J`bI` G d|U2ŬNi+(#*0kyk+A̧+0 h Bf_$ =y sa< juL |6y`vci0hM eI5)ԟ׫*G(9-`Zn5T=[n/-YLL0ev x)[=͉+ _Gad9c*ȸ͚ޤ.[;PdG.< =L:卑NZ6b \QG=Hgfk50ܫB cOն ; , ;Ee`mIBavEBZv/gYZ2fd6c8ab9c5039ce0c92771d52c77ad6c10561074e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a2857