SQLite format 3@ . BBh77otableisabelle_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 s3,$, ] Winding_Number_Eval:threads=2elapsed=90.757cpu=165.216gc=6.024factor=1.827zXZִF! RCM]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DAT$5,B>+=jo'Hӷ~5*U;1?X cǝME2l 怒.UylJlxh]?|Nw& 0tI{k? fùT"STv3lE@ BHf$7$c8yV[ .y)M}f訛zod%e#uZ77Ş}9Er&ɷ;9af A6J~[͓Cw`bd߄!gV\3':ԃZIXٍ"- ԊMVE({bs'gH [z 3;`KP蛀AS\t$ c种2kyw U]'k}̿̍שɎ Fo),IMv Oh`.%BkemگYj 3zxxdxm ؅k|sR>~k}:X)! ? )m"@d#DEkiغ.= ‚|ďki*pEIcݛЪIhì;~3qnҘ C NJut(* =<*ʻˎ׋N893H⎆=sRP>HM $Җ\Idf-d&/z,nsDӎmgmi^"ԗԔㄝ$}cv1pND 3cgNjnIlU^#qhH^fG9h k] ƥ#d镌u%"K v#4܅oGZCyBHglFo5| NK\qֲ7E's.Xg+a VD&H~NƔĪgqX][t ه:ǺSd]yZ1% $s峛MӋs' *D?J7Ed(.ίJlvR4/c;V݉;-jM'W'AN(ݚ,(b >եXe4= Gt1WD1b:(TMś],RP(bʣwڱپGIH^fs @@uA&c<͍w +{VyD@ҋE]՝[qlss/R2(JKI-"U*j7+/FݴfRu~ eY@c&:P5`Ur!68⛧F+aЯR~"An>@KszIElSS5&s>a]G;/~=zw8il q0m&Fb1ذ7Ɔ!*tzEzOڜ&7N>r.,˺#afLM%Qũ35ϗ>kX:= WWDR MDS%<[7U -]#VG)/,!p"8ȋ}~Z R+=$AEK@NSxh0HTH#|jOK` $Vw6zgKݞĤZksgYZ7zXZִF! D]ŗXiɟ1J2oeTʹ̰Ko֫nht-)vڛ`aj$c[/Æ!{E>tخq)p8lP\L/L8u]$FRP# Mje &/nn?j8{tsy-/A, ;A(pҗ 'p܂ 1,ڦAew7rCW8w_zI'?QFG" L;Q96kqL8>~ig m7V5sZcif˺t$_7&3 $ ±a gYZ7zXZִF! ]ŗXi%9(O]ZSiI辻. 4{!vۄÐP)=KBd6ϼLTG Ep{ZGLDRҤ3Aϔn QJi2XK;-Cڌi*$0JoIJQdx*O`v 6 @) H5].6\v5R [%8pq.ň7b=*9 ;wyU_,R%ؑe]H,oqY(~ Bk5{_K,G"9XgE208k~h [)Ve'k5yFi*ǀI5 HK^F@M•‰b^4E?^F'MwăҶ_sXf`G.VK͸x[  2q(p:àD&(C_+hgdeȰbVVv8 9q`>N6m(JmYLrUJfZZU Pm(/)_{{o1B?lRGǂMߨ6엙o𢄴7~Q&%e^ $`sSfR~!2GZRUrO. 6Js71wޅ=zwuy Kxg >w)egH1X {,L{SOr7< NbL|Pԉ i _ TFY'$=>"pn^Ν+2O C'Tr- ڠ.ұDS&VJG*'J{щEex+Y)룆xRHl;VV  cИ94eޑ#9BgY ꣼GUioj5 Lns c|YL7*z\b bRԄ5B}m 7 (ݹiG 1finFcA|Z'2]mZ-#-]1; e^;Ns~l[6ƬԲ..ỵ>Nv?('măM? JRnIDh}w0`E{[Gaă*AJ۫b5scN@"e?1`C[oEEUI6s$Np'4jxn:U|!r0Sp:I.u9Ow ׯDn8L2>x^ 5CGDJ TB 58o&\jE䑨TLjҽ$R[lD?Kc4dpyqh P8 p0mWZ}Ҳ K+wQeg@ /DpҀ7zBh Ig<mU6(.BebXb! P^#RS ac%*ܾx;i%غ-2$(:GUPr#-<iQ 7 4UFóC/jeFo#,>WT!}A; 鄍, ԽVo<诩}9 L;reoʲUsBU lV^rX ={:.6;^_&Ghp]@eyqe/RHFN0[ʙ5C4֍Вy@1^qsX]Q#)+EX=(ҥ]5wZXJȉ,R}{pu#Ʊ\Iۂ)}d~$^ Q0F"6 =Mَ\ug'Y#CbNLeBzqi[/W e(ؙM,rYE۠/g5:k"iP$r[ f_v<7I1zAIEn$ھC:3f-H>G BM:>rrc߃[ bj/fÈ, !Jìe<Q oxC(Wi!5;Y"`*KҚz0YRz飂68 U(rW"G<\6 yeKD0 6SđQ%V 7&8'OY s<|0`kNfb觍 D!.ǴHw%ܑϬҜkz)W `3T $i|Ea-|&dT󈊆,󊳻n׋[oVBBR 8 OdfԞ/Ky' bi'T̶ ݨNPxWbKOk STIg_ƠU#HM >ĥ؎2K,oEi}uUzB>3S\tj tZ섿rܸ)c Ll=T;J U@ ؾ#H9Kݞԧr]K q$tu %܌n0[attb#H"7|nNS nrmAr>ɑ ;gFStoA}\`D'nk.W|e MnS@g|Z FQj>5ƝDn;N""G~Sߢ;H偗CzaS) #,&ƴz\kġHTCp˂pԍ.#IS_2G+?p$uZy-M-O_Ͻ.J~YY^f̱Gd]"0\/7YNm[:ͽLчDžVn*1ޟU} 9z-݉蝛BIؼgb1K'ŧe#J }$\׻r\+cŰ$F5mh3"o}ӯV`#dbnk2[YK4r.9jX8݃b Z7i{#nga Y~G}ۙX;* Yޖ]s:Z1g&a[CyA_Tѥ6G$VNTvD2+Z:4僄՘k$ 神;⤧)ȳ;u(}Phvu r Jc]j)kǩTplZ *uR%%mBO1PHݠ!HR>TP2h{*Ƣ-֕Bͽ'vd0`˙b ^_ԕ&d '^>"YĹ-/]vAwhXB<͉l"Sy%m#GOԳ[T -ulP71kg)9Hn0|䈠)dUk 1R'(FU/wqΠ6;Dz;ncВޚMXz9.V|#z/@Ģo ل=La);ͼP9[çs) (3{niQ]Z<5ˋ\1r&[1t;Eemm+xUȕIq)F%ПF[*tahPӨ_Aq!/:@k..z3,?#4Aʀt\ dM*#zav]j-\sXĪS%BZB L.wtb&$c^Akh( S@>{Чt7"қ$.QB2z HG#ڿE{(mew嶶`[M'{u$Rsz=v}n~ YLMq?:* Η(uc",uƲlKa,u+B DӲKHbIU?E}s!QW ?$U 1 a 산o֋LJA0 _)hf3G`wJ^;4 7=OK9燈ԓAs¨!ZZqht +A)3 [_)M+OgYZ7fb79366ebef920ac4c475a188ffcd5a3a76c3753bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 3109ebb80bade0add97a25bda6f087f50eb33144