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 V3$4\ ] Winding_Number_Eval:7zXZִF! K ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S0Gq/NATޅI1Wzџ8<" UNj  (2Uu0q+,t B4MF$*c%t[a8Ge !($\.:yp!:ŵ Z: 1PkYfm gD  -j ;T%d*fkX,5'VT #wDK&Zg&P :.>mqpgOhd#۽&5(CۨWVKF9w䀬D::v[Y^[QJo;ix Rg2 Vx 6:"R$4ğ7;ɠnn'\PEG Hn䱪,[]Bɞj͖G(Tw ީo>,3U9߱Gdy_ yٛ] [kqF9.B/ .֡nc4yG7=2͙ }Nmy?dUHAR姊X3pa@W=!]ٜscH9 ZamSQ Gvd(`>}W |֩&< )$gg[Q{:ZY,R#Q.Ɍ-Z.Uȹngx`=h0KX̏j&Hl8]ȵ>{B0|I 4C0,픫!Svs 'H=$oOEʯkRSnrnԴߛZwd~rW JcKbtA).x(@٧LEKa.EBexZKcZ@x5-K \2TiExl@?Yg WXHxUO띣Eu#7,WǕa ?ݪeWX]0@w񥗘o^FdMw2QfhM4=uL=YrDQb7HZ۽((3q-9z^״G8{ʕLϏZTaj=1Ήcp6Iid{ފ[yH ȗ2pKBiޕ׀/م".,.#.Y{aN 1Z@՝$Fwã> &BzgY[H>;i! #| sxGVSl{ mIC%i1- ꡰED:}of. XHu"fRBv:}Dg*eg:X5~ň P-ȗgYZ7zXZִF! D]ŗXiɟ1J2oeTʹ̰Ko 1 B *.>@AU]1>j Õwu?]C8B~ $D*rJ07Fԇ"bhl{Ba] $cd,q"G%عXalZZ @\" 2}(^A]/FA%޶gf|='4ndADf:p&Z )RyI.6Aa0x>\P_{!Eǡ@ݞշƕQvoF񓂱`G$D;-|6TZbm5ҷ/ 0G# WZp~x7C~/"ʣB˗ŽæI?rBe7ET$ ǤqqVȵ K{./sRQc[ 32gYZ7zXZִF! ]ŗXi%;^}+?hAo:*O#;[p:eJx#4o3Dv/DuFx+6)/%uL^fptt!7N.W9Tڕr@b]MQ{!V\*h sx WiѝœVj՟)9j"^2==ִ3>w]͊FA~Rk)3{_T.NW!+)ED[}+[ !dlSH\a8n~R|J[ɪ(*UͶ %:}kiʍJ2%Ub<ɢ/?;;L+ G RɮLb{(" #B顪PM >"L]_W ;}|}U)| k!5^`'X Uz qwroGh#q[6˥)<\FOp+ ʫS93{xGXt`)$Te`$chꝩ3`v<7Э`qziEj]˱^`OL,i QT gg"W@b gOmlR-7qGS[<r&j"<*!Io5)ߪyB|^%!O^[376OIB DZ\0:!Kjg/,QqeL]IHk[H!Ww1iUm `<'7`ZF%lϲݦm&}YϴS"(3u7,`#xˤYhG%l̿hZDt͡S2zn6KDmM?_Xp#\Y#+,]7̰@®'\CwɆ !-y 5YQbw&mpfKӯ?ހM"$oR@I&.oO=]e}ׂtŪ{1ޛvx].~7 , //>oh? +qn"=+@l5xT٤J!^և^|N04q{MYN'k\:\PsѬђ:U UENvzΥ%&@/wU` (zkm$PBcm3yDp2;W!kI ,tGƭ! 3 Winding_Number_Eval  _؀LK?@uVŵqWAk>EUy%Xy)2w^]mۤ$Bx]UWgJt KeE1 4q-p;Lb@Q^ ?Ѩt92fE Q{I8Lб6FhD{;" T(愷4J!7Q3ԕQf09UTHb=k<"r(%^ ]ׁ ʺu{r`‹:ٓ6$]02w~%f=bOGciER@ ڈYtSbsz}uܡ `t6g7p/4 Qfj%7{A# ɝ-eʵҽ+տƁ?L)DqP}A>' \؈@K5-4B;Fls9)d It0f,'>k#"z{+?h( &LJG{2`L֚L)z% qOg.~zК4Wd%|TrǠʎWg搝PnqWcӑۂerrko..93R sp%԰T'Ț$ Z*DNh`gXBa3y,dKD3'w2[7U}tG`.*@7<}Uo`xw2| \<_$x^+&8 ZU tŮ]bd\Ve20~S~!"Wif"^'p8ovԏN?l;ɱ!kU*iCls=!Se;yOE}\+FBv2$ |0yct&LT1cs(8EKըBh߮9Z~zBl)Q^X!muPl@^^GWL(L˲]wmц=_VTL?XYlhU\tvhdox5"ElX[7ڪ\4C tvHLV8}EkiY*^jT$lOFhyFHdOu8;w'n*MAUZ "5}x=JvnLQq6G)qzV:;EN蜍K9f 6SyG`ͭuB}hIJ nX';ZM\X}h^lc=x+)~If ٪:Qu'~z`DIŠj0~C:Cc4a CeQ1ʊ ًcK1.As/NCzg 4(PU*V* z)K#B>.I] v,>uDD+acWtu;^D|f!q/[`zdd2+Y :Ѿe:@4AM!(mT%Ӿ0ܦ8HŪ{@ _yb𡑸&W(oMu꩚ҕ}ƢrhF7K>.ƪAa)6a-xF=RsKaUaBO-P|q $)UF$V-yO"A!c@:b߀>8z5ƙcAÈs\GUR5As<$DËK13G+sv$u5;t,t4p !$N QFaߍ93^Mr#FnGl8z|"ט*'m`NA66eo(X|â?(VfD-z],Q}wAR`:TP A2v")=a== ~FI*['իQNzж{cΝb2Fr 3EIE&x)yi `tIyq1@C.:!d@>iS̅2܅7o>ҩ(mNgZRA@m XI -Þ]."hC/.Ka"(=>fF̻l`|g72nC AEZjVV~ji) mǑz_ϔ1nb3d˹b%@y(Gߥ(^WI-3Sg+mz3ż"O٬G&yϤ?`,@ɮFHzz) 9tua]O,$xojdD%ft9oVɓ[f(i"u&J}vm4;'2b'?!Zҝ*h/@e#,^Y(<4dWs \!QoKWQEacYYH澯I1I| "PqFiFb5LlA 2=]mVהMYzwhp_a.595K@Ҽ狣Mg{ڒ  jBuD64oԄB(kPMsgm >g-W=oށxT-"ad0X6),wI &n#jjڟ e ;EP^;\Z!^JWfHK/ þZLWv{,t4ʞ"GLCqq-JKv=v4lS;#%,GɋgkVQZ8FY>SeI$}c9BYV꬘QDwwGw.lҔ]Yn6Q{ }+z1h ~JR0-09ֿ1jAZYc{ʋ+_Z\^*©iuiPM9Uuپ["*$05򝝽+]wG&Ћ0@R ,5MR&