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  3l4 \]% Winding_Number_Eval:7zXZִF! ; ]ŗXf1-/6vR[]S#L35Ά%.y8S)&"7w\ :U?(#j`w?m/HELQ(L9QiCjHFa٤ g MQ1:},%O^ʼn' @/̹fMΆŇUs[7?DrQS`kp{=9 DipiȥuO>XtaXeɨj#&,3%"pfy2\ycQңx?bfcXGT:E"xX檑,*w14Oh)'F/T̎K _g.@e%~Pr߷6o {fTgS{{ė'lɫ&Co.:(=itؿ^{F*kMTR;;]  \n;=,>Ж_5= hE{O3z [jeݖ9UZgYZ7zXZִF! ' ]ŗXi%6\"k^*nAHS gΗD2C)].N;p,78%+ߥ>i #!4Tty܌r mޠ~5383ȕȐ5 y,{?D[ VמbPi'Ox/>!8OMWSrUS!9}`hɆ%NPe2UqPJTs_XTJ&“D%1DY)D0nĝY0׾Y7/sgb#GT\rSXeE˙NvGr[] 4&.nЊGj*}q83ן`5C9h6u6"(cϺ5/I@]UNݔWYڬ7V'!IWeO('6WTϩ_r5g +2WqsH/Oڼ;,0f{Bo9fuLLJN$*F&HJ\m70aR'a$Ǫ!뷪0xb"gHQՂ!r CXSpje/Db>ȳkgW{/ 72nРDxahJ.GT>\^@Ÿ l}:H,RA9AAR&RR7WwYwM qMW}.T.ˉKsTM "AfcP@}aKạE9}y}1bla r3iNj]=X(//tDIjC> ^/֌%mO6<8vN\>6pGsUcoPc6B6[TJ@@u|LI4 [xw]S.m`v1Y͟gSaQdhO?Q@j| C)m8ka $%#X%phpw.&=gӑ]7?zd<ɯ/N&T_yu{n?HѮFs~}%k{6F.0ާH [S܉6:eRrۇ/X;6 ` эBhk !`4XT|89j};3ĀV52죮vTwC-O)J[G/VL4$L7-NU~ib[!K06k- p{II)H, ]|K21|F~JT6;B$"&M[gNFgW{r"Xs~ԛڸcDWB .kB+.tgZ@-mÄ+3UI>J=D`m+`CjP+AJ*|162vu4W Dbc9`eԺ.Y qeaR̽Q2qMu17LijZGXH/Yɕ]cK {|+v-Qe(a<[Fq}.C@gN[AocmX_׶Fpb?hEfɬb;?%/ZXj^mX:m:rOV%4i#Ks\_n?)|԰wXPI:#Rآݵ[dLd֫lAmJy'昚Yc@ Vq [S6)7+RGnmɄs.LX4q|Ǔ!A<۸1UqpY< S}I>DSTױ Iն0%DEV sgKݲ-&6`r]&](E4sgYZ7zXZִF! ]ŗOR8k[Z8]*38TUP<5dd ht_<ᤸS*5 'r|jv`DmKܡ{j6ٰ(lpXt66/pTMD;u|7>5H)q' -iQ/80v&낄UgYZf96fd7126c947ea7643f85faa0541d04904393dfe70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810