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 AA4?4 -]Nested_Multisets_Ordinals:threads=2elapsed=71.694cpu=127.968gc=4.872factor=1.787zXZִF! E T]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjQ] +c̷^mi'{nbAAOfі 4>D[72Iٝ< *t#Rέ*叭dB$&@Hp"dp&$Af#8δn0_0 2ZrYY(hX>x|/&|]"Ց>?U7*Qtv5}*]^=dZ$^ t8Ej 7j PqmL{)ڗx`5\Aڪ=H)M`=g/98 h!`c!ΪyP=1*ed F4jzF๬xWizYLm]3Ff8\kh&S_Gh7DN&~nW|MF ?/Z>h Bo~ߎDOVqܢ㊭LШS~t1]*Gdc{aOP@Ou$YlI7P`Fa)`|P_K#0uh3ؤ)i?\D|wTg39LlZoM%qd^/~P> Hdr9'GwO@]=DU}>*4H׸'z2b=|✱i7xqPuˏA71V, 'L&n2'#,.w>eyo:"x1=0jLX[2nYQgXme{AimD\_y ub>M:ѼXǚPM]KktfpV6{Mz.Lov}L㦒Ql_aZ)lNPSJ-p6SCN0rՎ$!֍?"/wp!q؟F̭؝y45f ]4jXz&\R@,n-;a*%N7OiF[]! lRp`"q9-|q{âE}N% RZR\( OW gWl obR J"8q lp] BB`gYZ7zXZִF! Y3D]ŗXi%6wkv!P6(ڜrEpՠJNfJ̓T2z3r[Lj 1[Zr=eODj5kmOCXFс%vojHrcm^fЋ0Tq0]]U$ĪulkI(frW(+5|w@sجձ DHg ;8zvńCHD n4Yy>GHQ,Hjj|$Uv)\`);e$Ӽ.s8Ǚ9OXVa pSѤ4\TjS1OVhWx3[~ ޒO"aTcr ^Pl$T; k]>1 ph: W8XvzN7=̓1j0H|ih );xߚ.խ:T>&u۴'#xlo)7X+%R,<55jʱXn|u\C@(W9J9ɩ67rZ+FXOoNV3_!̱~>0?#hBTbB}/!츬 NN*\9Rۮ)G[ 0=gje<"飬]$1 Zz?zjQxqI EQ5l6l[ڦѫ UG>? Bh{NC>,NnJ}koJrԜ&껋ScH֕_/] \ m}T@y@ -CDƣ+>AeR6M~ҋ$җs'Ձcy8d| xI ׃{pg OE㯧e\/.H;/".JHgT͡]5ȽP!Vx*ړ܃,f *J%GST44 mjn `4GV>%V-d\C PCVޫP}"Fk? ZNpv9|J3؍Ө]=Q=-n@lYV:3KC޾Q{JtS0aƿџј8/nDe牀oDRr| Y*S$BJ.kJ;pN+  (x(np|Cp/ ON{e{eq=R+z[x-cW80hI E"#k?rXbeVM (--In9jEv6JiQ!K<A5"`:|^T^BJIpo鈥kPIмZEA')ھI;ߗ).W|; ? Nested_Multisets_OrdinalsbFndžYPi>AY6b QY?&\3 bَM ,WfT#?-ģP$lč@]X~jB2w)9BiWAbrdeϋ E"$9wf|s]+PFLPEZ,f8-ܛzlF뜨jD"WG܅:sfm I66IfvR\{Yi  )g9i" C)`3=Z)}eD?} K`(7 m\ԅ;n 6쑩ϧs%|qkUdy:a3[3sk[OV}AH+:{)?B~zsTD?a̲{>t02E .6]^I׵/tx3Q/XPku ?0fޖK!8 XQ{&JEkψM!-ς;BH!OTZP pl'$̨똷rX_3ObKwy2gLk"[/nRf;:һFbzWlxs\%wN q=@XCTj#eE=˰Bslwin vƴaq ֍ 甡SIb)%ee0?|hT= #: 3a ?Yav&rMLlJ`+##yP{@YCcF{s+Sm)Ԗ4w=mfLWll x$]>+7XҤSjq! JGr\WiaVp&i~88 Ztcn 8HJ!&M8>V1%Oק\E{` d2X)de QPP<£H;;) Eq9Yq-oJjnwUtZ7Ǝ񩎒ٽ Էn<΂L/\9+Rtr6 )8qCؼHt&w))6$vQg]R@:(CL27Lu=˕9}Y,0 V;T讞q,l?`'նrrthvW_zd/Fš (lE^g+{ xs-Rx`}n0MUn <:Y~8#y2={Bz·k܁@hIZ2]Oۗ~'W|܍1jJ7 \[f$/¤hۅ 08MQgdIkw߹y5i PG{ ;n8F|T'F3[e> Bu'4-ëȣZcL7{d+5-}7[DI)׊eTU4åa8alCc'j(b4'uMY41~M3%bxmUQ Yrۅx FA, ۽6ϗ"Y%MX.-obU g,yr#W.b`s@ r#铬;.Xs= pw%Nl