SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ?/ \  Well_Quasi_Orders:threads=2elapsed=27.651cpu=51.424gc=2.892factor=1.867zXZִF! Y y]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+++#Z^&{O 9PXC]x}dY;DMQx|d= JbQ!ȑn._BJ;NQU2זMsE}Ἵ5x\!l ]hbm `πnE@ 2t>d$ Q2{bFuQ uNjjdc"XJo{`/Qdwĥį->"o DouwC9ҖS29M@&U~Ij$pQB6&#)S-h?LS$Ps QxlAҸXYΦ*wq[l ;7@t׺8y*Syx0<^eSd2-L`LeSϻq e ` +oOy(pUl,kIJ6NL% ҊYтvl6*ART bq M!Nٲ~OH8UL|!Fk[ząopu3 ðe8čU3 )r>uB]b^dˎԾ>m2̚^ RimBi$p ~a=rrCf=uW=[Y\ Ü4>{ma1os,SolUf4w:Ɯ; x\+32?< n1:DZA\,ɯxyϞ4B :G5ʹjܡD.%ߏ PŎh.(=&yCq1f8Obq,/>;ϖԴ,}J@Cjv0oKxĚwMAs"&)Kʪid|ZO+eWtN&M*F1@x>iFL}Z;ہk1U)WS 2?}fړeþ R$&Q8›rUN:ZwPIWhei)wG$+@e[:d/?_I3m1ewH)F9$lHFC^ p>PMQۮ<:[_e[M絳ƗMu1<3 @trs фzm]މ 71W'w0}$ xE29rU(z2Ou'D!C%ChEZ< o^ qT}ĪXo@j %,}#x6nH[٬RR*Ϣ{Qj,cG]r,T8XoJ >6>i,.=Hbi ,%-aJU\^0]"Ipّ$PC^K%۠R+-V$CX(+f=3vWBj*g9$kRp̓~D]AwRBDf:H̟G>B %(ܮ=WQD/6͚ݱX?9="2a"H.&g++I(P۾sqV{djjʃn+deY_C5tdv1?b?tEI SW9t7>Z`u Ń~qzUPSN_Iue/Ȣj'*ؑ2UKWR\qALzʽ1 9%4;mזQuK&h\;'iU|P@Ŏ(,QR;I"eKt{}p9@Ra!>5ǰbgtNT}d5L#+*8(-+a߳Z2A0H^_D>xL =REcWP>JR=n* / Well_Quasi_Orders\i-k|ֿHLb&B"8`kwo?. E#3Lju/{"XS"N`g \a}^;jMQxU5}e/v TN`$sy t"M S߆$>7FX|6R$$sB.;!V RԐA$`gx(Cs@tw ~xSh@9{iWĬ "Pe נ1yziq]<)fkSް o:?t9,''dxIik;c僰g H;nڦu~ۭNi ٫\y%Lr[CUR\|_&E31:uu.ʖc$$<5<1Nˑ-^**|7{4PLIdx(VZ'nsӮry.e5/fIU/v"\ uصF_ Î +n4- V+1ST9#p:N\t2 jGK= 'X#\\ٔ?Hjm-lg2ǻ0ųQ0pC\ˤA fwܙuu]Bz/CBߥC߯)k(*ǖ]yLe9ReN [l, m(H7qX :4q$)\u2i9`'TtP>D*~|@iq23e9;}7!Th1AC窄g4zY7v I;4Dy*//<I*:NVNPW%Qr(:m>Oӄ5}"J9˲.{y&}Ԯ_AzP-{R3CYtct~_d$xTzAH{J"ův-'Yɚ2W{&WwwR1Bxd`5K4yoO3^kb1]%FXr\xj;x@s[S${'0O+"#]N үU<#(atD8xxrH|SӪ~*ÊOĩ) GI.h1ZƤI:m-j0n ~/@p`L֮P.U<:`W< Gn&p,9A"N]`s*6N| ~DE~dca[֚5jZ|tej~+=ԛ"r#2|IT!n!0pj9Վ`hY:ksq1+X\/o` H dέn c(Ix\$|]Gw$}P[[ IgZᾎݐPOP-3GZoթ4-2/vX3XE:pXVPb>x`{%qtC׺=ˍX*"mdEZ@̿Ed(NgVZHՏoY\o30 8[`Β{}ӛ[pVtA[*Q