SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info k9 4 +S Decreasing-Diagrams-II:threads=2elapsed=25.459cpu=43.280gc=1.292factor=1.707zXZִF! ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:(1)]Zl+@(|TsI,[`^!Yjm"LQ|Ǽ_jc~ u!zMZrDDW'wtRBd+؟`" Ԟżi 0E=3("qmAD⚐_ܐ;.sG)@JοOU?(= 9 Decreasing-Diagrams-IIy׶Yi.DnVj0Vv6$=Z%Vh jn22>*XN4j$UBFi,+,S&1 "t$5pSeIӮam1#&{~@17^57AJ߻[$I2NM܏Qq-tJ2&\gKp[}s#s\x۩>ĢGmSU^(9ūGFYѶ]S!\Ma+J[G{:#ּ o)wrƀ޾j"&憶gƩ-:@V;f'8EN\\'`|*y+OP.LflSThZ!j>զ$qgm̋>axnžվ)t+oZHM )]j5(1V#OOň[UfS$9s6` ve !iԏ*:eJ b(R 3oՏ Xn7!LUKn_xXdzmz~e»L%8bm03{D0C0s/3i+b> AlH7|\ [YYs2wKWYv $vy̎0 =YY6{Ahb5}Ee+Dwڈ^gU+d]ܾ |Ʉ@mگR(/}nO? 337oF_q }Y 6*w)I?:˝q+c^I&NHӨ}+ڎ--Z-V?T5qJeK4xg#m3wk#Dedį ﱛsRM*7%4Za. 9< =9}F1((rĂH']  PkIt>/$h6!G3Ο-K+7EwwbMk=6~m_d]A81aZ-q+!Q@ԘHQd9H }I0][/ FXCVeٙG¡Ywb  >vFՐ)ݜ ۊ*Q@W+{i:C ~w8>5;}b# чC<՞q@0W]V7!؂[R ({{Qđt"nBcU{!sD_ 18GFq{i#p\ӡv>,<`_.V:S;h_'i9[OG {br2L˃j;BJgO&v.V}W0?1F南R( ٨\ ^,yl J$;4F+4!Q4\/6as*L>0Qz&v_%A#.ݣWT7/ߖ!0Ljxw{~Lxnh!/_C ̌+20 -k=)J't}ؠ~ھsj1-8/IweaH\or%m %1 ̾r(Õ|LX,vt>Mq%ͽ9K2weaQ#c ьЄ3uDӟ%].4؈풸kܸh9O:ғ+#\|LUgDYP0!,d|G 4-Q\ Gf]㋓e2 Ṗ:eoHNת2v{9_wi[ 9[u&Yđ/pSg9g2\ܗ46̔9" BvQ W١#vמ®1R*f#'H}m S|ȟ Vz)Ҿe\t!Nwj/#O3)4wjs=e:#f28Sr5ٶ9O u4ya s<#B]鴛U8FoE܀FjY1n{\ݎQlh_n ?TJ.$M³Ɠ!*s/SɐFYԈ]PO+;gz +Ƈ tQhL$ y`? Vkڗ2Id _/L71*0\6|FuxQ7s+SEQ^) >Xm1z{0oX1pgYZ7zXZִF! a]ŗXi%,FhnN? %ꥨdɖ%?F"2ƧJdZhCe$9zyr*0#QrFgLiA~Tݖ-L8%xwA.lX|ByW8oP$篟:e9yqL툚7Xw3MvIg I,^ۯ(1u^'Dŷs&&?5A\1^)&DНoZq#x8q>LtuDP:93|NÀJ.=in2#boJ#3*OZZ'o knjc!ђ[fX/fFqs2b>AK2]:Ùi%vC/C$9вp&HGTc΂ ^C6`ɩ_څݦ״4w)y1?]sfnmI?ZjT} XdQ9LHs![vfcP.:#ob0gOk!n#3 U^ '鸞ΩR$/݂䚸$ U"uc+a-iLa- F Ƣ2xЁI痔~E(AZ<ӧv6 aG6݌c o]+0Mm[I_|jj_e/`k`,syheS+c;#T}10TyN"m c˅fkΉ4hu;YZu ξwERJ7u%#۽UCvem57n5aX'枈E}V% }3W\P641ېN"sbF_aS9֬>&2tE4a=#XtE폝4sKTX Cehc5uh>Akv#S# $͛LuhʗB^HP!Z\dqK BYܰ7T8oz^O^̷V4ޙ_tD2FErZD2o2􎳆Nnpʹ-X '2,וKpRi_QCu+ LӾr^DGΞY-Ě|5]>8(@?S8zzbix>) ޢxCcj *(ڼ "B<ϔiBFܱLp*&~7I=EaY9BHNL#2YUȥRv1|