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 _3<<\ ] Winding_Number_Eval:threads=2elapsed=85.979cpu=153.992gc=5.432factor=1.797zXZִF! J:]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I?U!g]-W%  wqԙ$I0J/kP=>Dhr-wv59BpJ0 l:Ā_ =@lr\'_*,Fq"x~`qrg64fsH~7K^3 9C$#Bqq)"kKf|JB<>EO'6 j{6GW^creEDR##]X'9m2<>Oo3*NR*w$=˻6 8ZQpMsjj&uy` qhFnɬA$vYZ BVNcw!=j cj _FcVI|杍|"26LG7"74ugH|WiZԹӘjsHǨG1g˨y@L ڜaXvNzYb3z*5EaHN%; TsU@O<hVM,.- ~]vhn5h]F ؝;hCh{YT~t{O2e +G`ȘFM*>̂]m|&ntة+͙kXrXgV8Pg,w>o'^ j64OceRa13ȮJ3BV{֬Ai4i-{{L&scqqMUO$BզC+K ,7U<%3|(J5Ye3[]r׿Yh|cTާ;~e3|pd3ͮ'91.۟7jxpyȔtݗ@=aַR~lH]y^_)l>f.?SwsGr?!Ja,43Jo^?V)jU:oc5s x^fЁ:+{609Ql⎘sH{{#FKN~~%lrQhgEi$#Q'0liL]{oyWUPD{կiM".[lN?b`㪦`iHV"kh/R n G[! N2zjATN׶7m4;< @^FH<` Pa>9]lz&KʯCe# xe\ZtG1}i<_O|uTT-|K:ab()E"Jat`(e ؽ "z_gYZ7zXZִF! ']ŗXi%>g=޻>&=#:v*]ȐKH6)VoJy [jU'.Km!7R4I,5]NʪA= t:TZ @UU1ERSӐsJfTKï l0o? QH$X'0qڿт7i-r0É+aSeV7v,(k媸~gX@SP]OЉ9jP';LIt ] >C"qg(QuLN18gvM;7Fc;.R'!i&sy,K)qTW5_Jòӛ9(5 fx^rC81u|A 3bt`ǔ:V&9_~W[z=8N)X 8HĒO6m_ iuJp[GWy3F5B;E,K8`ْg"(\@i H7B)j)Zދ_{RZ4Uaʢr3aG[ 7JC1WF.X iO^S?2$t:A Ʌz B1ul0c ij3}!Ȭݠ^x(i#hغ˭ۃIkYF2fh l+P1a<:;piO)kV eY(:T%#vA8ȲTTj d%T%lEE^+H uٳ TV/4{bhJS36ӜyZ㏐4o媞eM mVrF gNwEO,z\,5l*bU"&m>J`ve,Eao Ng/]_ư?Am5Y$6z &Nkˇ!h.Xu]N=u.jBlm[ VyQ+$dQy78w2W̚6Ag`U3ٜ_$p(o5"ꭿ5qkmxo4l *q^]p9?~iik/0"bȝs6']vˆAAZ#jf\jB*Q},`If̬Q^A1z6LM1%/{[s&Ga8*r9Q%ғtS{?ޞ|^<$bL66*MbFyKRBy?PLp9Be{s}K_7⮦COT^Ch>tLFd-,ӵMTŷ2%76Y@􁔷/3nO>EO-%!kA4} كüĕZ޾tݺiXeyHzoG2(R_ϱYDzJp% 23Pwvl9E֣D~wZ"~- %L3NwL,=uϸkL?gòTc8#ೠK:Kt3xy |Q&37% |6AgavmCFiK[Qɷw+ Jiy*&V/Íaӿ[EWY} LeR)Ì]G(f.J7 OKq",cmRZT6X% #ƃi -5+RFrsKtb8&ȓ]m } #1,q68ф245c}yuu 梱aAu*+`!Kd" n4ׯZiT,JUFT}^-l1.&+3)xUYSHZKԭ((9cH^q:IRzf^h(h2 נe}!t oX%]ʻ:z6 z֐n}aN @8L mymg!VaEX2X}VA<#7]Yy, dƮ $sK% Ov4ݯ`Rĝ$TzY[M&{wVBrm<|fҝnf:;W XT>@hS+}5f}Ơ*V'w+*  lY 2OwI{UŸ9IC9M:[H`%QJn4O0{xeFǛ>v!sH@~` >LMWAZKZkKOƭ8,V@D #kKD6ʋ]''#^e=ˁD:=@iI*o7^xtXUy`ybfD {?Ir3%<:6̮tvL0AZpǁ#kǸr{7;9q_C!L_cvDY]WE Bws/IhJK?M $Xl[*KpReț{ӹX@UiR= [+ogAzc$= ˛e8(q oVi A]>*I#jě{{L'10,mq)J>cb_\YY1?%_7@!RJW!caXXD ':T/{t+l3 sRWVĨ,fʳ8~j^Bw?INY\ *Cq^N<\Mއ`X}k_fQ-e+kp.W8iMqtK5D'Ϻ2+KV(rWogW(Jl"Ūmc@As f 3.)IZ.+& ΃"'KrY-)Gr,g>,-]' (gޯDs6NSZq\ %q~*u}P@:.| _A6hQwfK(&O1\NLpĈd.Γcx8ѯVn!=SlN\!-1