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 **K3n>Q؏ӄ,rBֵ@]W Ygwt%&qm$>$TlEE2PS{fIK 0[SM;U25MVa~J& ǽ~~'BaFh %6,?cc1.~[̃qnRD=XǸvbr2@aSBT<+ݑבpGFCi;P~& 4ʱa2)M H*%)1L~S"CXBm2bC\#mkDfS̕o [j MX׮āK u䑱0 ^v hH#6 9G-$<#ÕF h>_;q5 ]vA7<)^*u<ZO"!¨Nęﻻ#xNk~[R-]?R ]`3q2Re]ᔟłt TcԁЎdb&uZd<᎖ JSBX@O@c 5HԈZ/)NlyUEmpnzQ `)@<=N5T} #$A}q.ƤSX*TT7RgyxM] ~p1A/D}RTǻnl`˗P tb»v%X _yݪ\)dQtTge߬l"U"yFJ(z0j +閈f@h)| (o^\A*Ʌ7խ[qse[bQj=?6l,i L,5`%@G7Xs++AC'ݏ /a٘>$pOZl\a:|55Mqg_y" '0ÜpQL?gYZ7zXZִF! D]ŗXiɟ1J2oeTʹ̰KoD?M@lK \$񃳃SJoFJTԊLW,NLiw1jLnݧ@8#V_.G}`d3CXgW svxǵeiBg: -G70u}Z\գ6ha:sd"+vS`Z}-J2<$9.cc>j.º $ܵ2Viv3 T7o"yb5RQ Y)%gbڄGΉl)ej(z(N.i|H!M:w#/Y`K9Czd:ė̹)}F\F+#T-Z8Zz-"K>=`˦I3dDͩ:xwk 2j ~noޖNL:(MV. NjwĺnqL4nЪ0&fd( Mt@\#@gLE*, +,|m* ^cH3$,QAJb;u__ ?dW!ἔD_kK97vĐܿD1Te̢A ?@$foрڅ+R֋FVjF,l,_YpeTsIBX]G7xeIǢSN5=5It2?9t(9: N#ї7Q7Ʃq?,]o#@)"[eZUVY!l1_e&aSL lx] v{lٿ('0I<@mI1ec G،ﳘwDP*HGA3U}OvP:H{wK'5i+C,FjvkϪ˕˿}u9_0ZfB4>!6CqOCo#:Qqn"&&(,Bm_ r aBL9 Kd0G#T6rt2FO `4~boYgAlK^S4bѺ`mOMk@oO7$uv*F\I#BdEsHXD/S}Gk=\Cx:VٳݒL0ps<4l?0-@}ۈ(9'sdDMVmΞlGp'EDX d/n _e73$'6NQs)j>;$gQY./nӓ9%R1.!Q@DXV`ɓ8Ni '*1ƚ}ɈJc$A %#;rdLxT JD`P|.hw4z|!ThV1 f$V2h[HWidl~k xj`†hDd[U. -}%Rensr)1췂/>{f{6;F8GK|Y-+!@F9tYv֎ ۦ&,(ۘM]6c!0ѹC<^Tx1R6M uT laiCH'_D_hH4{gwb 3 Winding_Number_Eval  1X/SDͩԯMlsqE;;6w1G1KgXjk]T?O;?i5^@·*ĵvH?=ɺs[P9WzQ1Γt\Vm@ &d9My΀+rpQIk~xs#%EY _w>Q G=0mӑցPETcR\ԗ/Y{5{@F1R?lKuX N&bA"7m|ڴ]9HEDe(~R$"cŕs/2alz.$F 2t֊RHƅ'~HC2H$cB-+#c]0} H8L_PA5x fL.^٫_Qך}ez:-Czݛ~dzuDba'iכImԚ}jQ`El/x =nޱLΟVJ)V'8hۃ55Κd56sȽ8Yڅ$գЋa%IR~Y0| >9^7?$\qi17lD * cm/tg2Qx'4vRŹJ0Ax}QIyV4] xSz N+Ƭ3WT._ς, (J"f[Dž٬\ӵX֕%hJ0\ꃑuҷIT,ӝ(B|mƊ T9⣦ðl pRw\K,ΰm341"v'7>1iEͥxΓ*´q- np~3\*Ո_& !=WVX18ju50{4tiCZŘ`b*:G1BP06~c<Va- tLSIbMze>#d\~HSA1)h&i ިʙz0$f g;G̹RCeMO+v4YQ\٬5QDReRTo9C  S5za k'`"P`R[;0>kЎP9\UZvجo֞K Sr+[~Pv\pcY%eN[piϡXcHMdiȜ1_j_Y[ ă. }#KAɑRz  @vFhq#Zd/-!15WFIF?v6aOw*_Vn|^h敂J}Jg!_vEd"]TpHº6:o(Uss(l"5AW YG'F g]ӛ+dBnf LԡDwsaH 8'T`a¥ʭa pMp"O+=}i$8yIawWk%=a'q E=_<{D^+H~T5^4$^\kD1rڝD]HgGwpX>ݣkcN҇,߰{g:F ӑd g3UL|zQ&K~ъqS+,oM,$ x7k^^715n͓+Fø5LDslxG5Ij = BpA0{Up+ )&'id#Jvo)Z^0O/w$t|œ0u;Сam~6Ea'GڎbUp/Ù;Ā3MoXBLoLN*,eFek0eC3jG~bU/\QV,&9 A9YV3 #!Zuޛ` G- 3IdF:2ߔg3hwtf՚לUoc.UZWr4&*s^FgcvVt./h{XĨ=!:2촠d?'G>QմJY~"[o7#pj]c칌|Q{NV%TGFv@hD,Qߞ0mqJ\r>sX?EAJ\ /zpnyk Nrw`-RB/1r d߅Dn:і&+yLeq~ısC|-M2t$%ݝYwH[wηM sŞ=JR?ŏɨ4vzZ\cԄvK(fO>V]*Ⱦk]pZ o$3s+ySuPTz8L:՛ylk%ܺP cg+M ܈Ő[aYYA50fʶ}57'ucs$┐i$zDw)PQl=Aǚ耢5bQZgc6]W_^_u%KH|,QXx6PEpZߊ)&cIl<0+VIڦ\ҧ2ny@SAzZNyQ2k¸v pLum.& +&UK9VgͳNx'Ƃq&ƭj)Aib*k0&`E[()4MVy{5DI%4tv^Zߞ:If}*Rkq+a)^K9fQNCh>VISĥ/"a{VEf+J Ǥ 3^Q;b* #BtI^ALD/ǕX IoZ9P;ͧ91ۈpsB\.RKwV`;(r2h!P;dj-7Y&Ser*/=gYZd7c50a562df8f9c444c78e6e09537e22cbb94025a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 c9f2b6fc1bef0792efb824e828e8e8f82fe54c91