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 3d<$ ] Winding_Number_Eval:threads=2elapsed=87.860cpu=159.924gc=6.128factor=1.827zXZִF! Od,]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^W>Gq/NATޅI1Wzџ9r.,͈U^d6Tw:Z/aZn*BjU N!~t&Y]t$oUU(WBcm#g5[)1zePǔFJUw>Luk WrZ`":f @D TD2Y ߦPpum``g7NM:f.ź6n/R׊uNM}`D ` 3 Winding_Number_Eval  mIiHvfas P%5l %e} bq؇2,I!^an^vLO6d06@?94w^[ddBYB"ȯe/1=^wVyJ2tD/jLD,*S!(9+r36S1"%xn:SB`Q!p5=EI玊Ph1TJ450 @|ʀ\/ ]xڊgh\߀Ӵ$niB mS9Nx} uq6>aDjqfhjslAԇE^B6.\FD_%G-sG{{ BS#{=E,BpW9h{kwn"Q7F[(Qlol}6 &4?@v/֌-| r8?b:Ӷ$]}a󘏚)F^0ЮzT)fރj,f@`EV ^{6+3k mM9zַĮo؏vjAC^4,2%?+;z)K.~1LW22,rryz/5$&nP#@$L忘><˷^Eh)5DҨ5Lװ7&>lmنHP }- @h5٩kƼ+7N TpA`d$lkAeN:_b ޣvvoZ X:vz8 ʳJ@`Tc5*}b+i?807ygkZ 9WsdK_cǎCH~ӣw7_N'vb36DKЙ, ჲgYZ7zXZִF! ỵL]ŗXi%;3cbhGOVUfze(Ӡla6: JҜvQ2MlWJ &z;@9څm2a^=ب޿#v4sG0դZy:z.]&g]zI3#u2+/'`'Ml+$\@xF5bRj:Xldt-m< -Er1sT’g B]ΩMmLV;G|; [k/O"ͷ } fDIg_M2rP{({ ֋b!_^&.٬xMqxQ*vܹx/MX{cU¦,^Uiq;po 蜻ʅ-DH5KՔGpǴT2)~00 >U z-! m@  :.]f42FI[l*WZJTI7 ']!}AH% Gt#SCd,NaS85oU!l'#z0E6ԥ%ig&|tᡝbpܧlpT1ˆ Sqّ-؜ٛz0M/=xeGſB/d4#DV}f[qCB6c{YbՈs.-qf%oOY{˗U̓yT_T1}5ys?(PlDkJb3# uCΜ8@"dF^5WMW;5Qxl|Ig_Y44fб/qkRK D`M ^kk|m&BfƩ6[?zf۾ ៦X5#5`Ko3K: x%5j8`wsxRY4&5)e#7fip:%[m>oN }FrAWIaMtR-P:wy eU > x<3[x\XƢe\csN~gtPMSbqK. |f/ ]|> tTo>Ə߱Z}|BI4ݛ&(2R5PqJۛ3е{\_H͕MG2M07:YSJ%dxcH7ab }ZUzs8f.)=d =mA,OGy-12|_xX<"bt%H/]'VWYc*̋K>),iMk,_:|s SA ud#(q i%#cfsU(kWN}iߞשV 3 ,mСZ2<9,EY 5FjO;r31. +^G+, Ȍ0mB¡?F pH ( }:,; GU~٩t8ΉQޒ6> l>/I_Pr::r1ϣ [K}Y7hQrJɝlh11CvԴҔrX[sc50W~PCڥ얆\[?rp; a^׾G}V93Sm[ݏwmb!229Q.ST۾f2=]w( z%`dDsV޽Y + ?L~cUf$ ,+B ϕ0\ĭcE9yL8!G2.#ym9 ƜPh#"u+.!LM͞uļbs p'P*:wiSiSl<'3x|:mfڒCt`gKLnvg+pEo2Gut9=s=y(dcn}%KTQI|0py M؀=&e˟%`:Y;TQ&%da7>n8 zc}qep};.ah]ޕf˜fqrfvb}x}Wc1,5=}kфɢM_dL:" 2aф%T]^lH. TZ%NU6Oh!Vki_T eH)ayңK}CCQ˘_1Gc\~ɩaљSP $ހ?'|M|ə֗T 5I^No+`4f Х8a=*C)ѹ8x|!&13iѹLZp6q8-kkh٤-%cN*lgYZ9c61fa4b717e27ff6f54a2225f0df0cdc4b10de3665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c