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  `3 4 ] Count_Complex_Roots:threads=2elapsed=109.542cpu=196.536gc=6.140factor=1.797zXZִF! [rB]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sj"dkZ%A5"WAn<¥> 9j ӧCA+tvث(<?0΀q[M0)VFp^!qa̲iPVvES%+" 4K0YmE~?[3gH83>LM$cG.o!@9H1`"pwXǓRD5bsk-?1&߁ɩ (L󿎆,^9Q};]–&#KQ6칒{`?fƚX4.XZ^ `$jőGNMcV=/>h6&"菘E¨ӿ3$cpz|KK'PYunEa7Vl/NtFa0 c[Ʊ h{"_ʃXFdpۘRrW;WvIr&Ĺi+cFg5 ƒľ+kt\<]D\&Z&f.L0<|0}viu$DS/9U:Y8Üҗ$vptu>|$B(k5l3}9-E"ihoMCjԈ7$"|B;$ SƊǻ-aM/j3%`Bl=JF a_H gB(s2-G{zg/&OwV0@OQUh94.5sJɦ\ȑ?X͌++-v&0tSglXBepbZs xr;8χu[ʿ̃0^';OբooO`e q!(ɘVmZ J* UU7RZȾ8 hW%rt8[n?M*+P1뢦tb_{lz#J$.׳AHp s]S—T%gTY!"%bu,9O %tOs+S )-*_?+%_ 31X+ R3:._z{뉗vQz8D6!`xHMh0ON/{ߗ0ZwCHQxrZk7D;tޔQKAmuFwѡ€BSfX٩kBEUrjY_899߸*b@2'`w<䬳Ce?_?OIo~٦ˢ|+eH`\4dWF(.ZosΜhՍbaW;hZcL r1 P$*yʒ+1ʇTۚTۄx{Q>3֦$8&&H3=2?!Xa Z=s8jyŕs}:r㾹-[^-a(Jz}`DV\,& Jd_~XUԄ&$UPyFCT9)YZV jg\_{913uNqam>iĶh]{d$>dˬ RV냕.H{=Ύ퓈Ky1K'k]nLFS˾V (4qOq[8@.U0_.29dmN uA&v۴ƻ (j;gIt]@}ATX&cNġGxwChY+xPA1m fp<8^T7!d4DZgYZ7zXZִF! ]ŗXiɟ1J2oeTʹ̰Ko˒$pF:{7u#a!tgDDw3Zu JAA/z'}z  > {gYZ7zXZִF! JQ]ŗXi%WmL²|ɩa6^S DC8ȆrqIMh5`( _ [&-Dw5?cƂѷG),Ȗ fO kG-,Q P`Pm |!5*.)/ 7AO܇Bt`\vQZfj|и87\zHrJn -ZgpY;ƍ.'{(H©hOC(; mr _،28xfZv8"r%҈]e~:`;6P|Fc*~'"!ZpdI1@tJdR3 =,Trlr&#7auq&!"#/ǬZN Ȃ?&O|QL8A`~O3V7{b6X?Dž+m C;{&Mv26|oKxHr7[K4ݎN(&=q]4 ~!d޷7{e/! J$0vLL*t@ژ- 3 L/ >9OV}rH wVHIocPǎ~}}p}T%yRh~qmxm'/.XPkga&`R h_n[x#6@t7${(1ؓۑQb$㶘C OWO1PQc$-2͊ Yb8r~I1"4ӡޭ_ԣͦo1, g5ŗ?=_3t')^*7kY6arO3Wsͫlh}BJʌ2 #b׆Z`t@p1e$F_z]7 _!5VդZ-o˓'w^s;7I(C{0t } I1V/d6&L]8BmCCJ14r5B1s%DxLo)eث_ՋjZjEi&P psߦ7=\Gf(pOLQGk+NJwcv'/,!XWrJ -ҰmA[v?F(;:U0ĢF),nN l:8+hߩ|k;(:J@L{ s: )BvKA?ہ^ ]#xM.͌`qU.2G+9[Kj?X\B0n+qv.s۔=VT\.0+jQ}^c4_#@ӞŠ棹psڙ^b혌%xFD\>eAFI9՛`^$⯴O/B(E\!b@q9Scv o0vlY΃u/4P"6ph:+퇏(ܼ܈;Ϫ#Xo`g8P:Ȼ`SM1"X5׋0D02N+64o漴L2EbO5iqŤsӟKu/B/-Y]%cʼnX^ W텓ڀ -}ʃ?Q|šN{nii%4 ]UU76ja=܄"䄢9k#~Č%tzD(JX۽Nk-J*xb>m Nq@ԁ6Ln4QvRAt;ٯ^uv/Xjš'3jK;ޚs$ҢMKaNbEIEk"s2hnٽG$S{<dnƸMT C#|?3r~"%0qLM֫1|QDd[%} xF :*5,YY(Mc) yv$76GKL *H {6DwLKѕsOȽeP[(z;* u#f?ˑf2#(,σŸ  w>.Nooei e[38ͳ:0gQ#mCη =eٱle꾜g[, *\LI2Wjzb 78'GqL E] ,BY/{C zmiM\WSH_} :ٕEɷL)ulӐa/@qfBso& ljL~D~+NEpT:mf0ĎyB7ao0;(+.U1 b_f GFMe:2fyEAݱfUR~- Q_5?d*.SGZTveFӖ<t >q՗Ҫcr/b9>62t(%ЕZJ|00S(:r䖌#caA$+gC띂-hϦhT i019tMB8{ 3 Ѧ qV""ap/FRT8]t(jq) #i7û6$@~ҏx-uTFEiqK%[fÐ]x'uǐ"澺dHz!2LPis(DսeTtfzyБxJyL e%crA*G/Vjy,8Nz {.4{Ó}$c"(j${9+ne@}?>H*W䥔pbi{O%o*D;n-D#Q"=̈́TB:BW5TP) b0).R?Yg58櫫cN# $|k1V{m^c~/I-)ri#̫e#? h^lq-2ggNa$)F>; sbgB0ʌ3=ųa5M>&PzN"^24ھis>SEADIի]G,uap#pYaiLx ]5CT<(dn6&N|Ȉg7@ W/Ss_Ac 2.3(З^g Dm2옕g;5֊%7 kg[cq0/]o Y-ej'|`Aw$ DWusg;wl4%b(׀ 1NaފG#54Fw˜@l?d ~~VR0˞VgYZ434131ec4086d6adba7a8760bf000947e9c38b65d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2