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 EEdt +S]Matrix:threads=2elapsed=54.667cpu=100.420gc=3.652factor=1.847zXZִF! )&i]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_n#;Yt ɂ)}R;O%$.9OpqRGx=m\%`8ctS:gafKO;oYVFa׏)kxƋ_A/Ub`zG7Aļ\Lh8(Ocֻ ؜J LL6hke7J$$ev͘j *'<0V_y~Ml:)(I;(6u J:ů`^o;s -v(bbǂ.'CH6oJef+*:Bwm~x*ך6eyoFbhGe@0@e   MatrixNDce?@-`~WN͹t}ek;e8obrn ͐,TZ-Τrhu)B{ 4+o1QCd|EYd |NP 2-Ie9qtcq- ip[dTקа. Myjw1zƪԄGH?? _-q.hcOy&c؅'b2*ف~w>I`>ʉ%]fW[E2~Tk TO,p VFuA4% C0*vtsԪjsoX L&% /~w' D!kyj[4<豱s!M+8@Ҁ+ ̐93'0 ԥW\)6?pʡ5ݸ_𨬠>fyʔhU^'5{m?=i{Ky;{ڍFuhVxhkPPMNlϞwfG <+G(3RF?Ҝ$ї!Ef~ɒ  )oJdz?[w98ב?.J?O*BD}IY:c{\ҾJ}Uh |\O oƴPH&"}20! T72o2PgYD앗 c/% hcӶ('n]_wK 㚈#kyt—dfg#&z !pVW+ͩQJDFwQ IKihGO#v}N:=&GSL;>#t?_Fb}5zjoPhHv>~H<՗ bYFiBC&jv`C_;w@.Du(<E٘^U|?n TN)aܨ  Rtse\ǃ`U]Ɗ4*m94WDʚvuXj7" G%)w?܁ TN ͥCJi RoBv7L~WΜ}jIkl'1WL9fR&e SBʦ!WƆY2EfgtOuKsgh)UR5A ik@ #iɹNHE Enĉ)ӹhVn`HdY3;j y% t.}t|m7iO*L#ٸ`D8B!@N#^yoHmM*mykiOnsf_0@pߟ/E40(B9~[%Ĩ2"=a' 2^e=Lw 唆17ì|/{~Z'2:T;/P_[~|\Q?Y\0`">}Ehnnږ2Lw$>Д;ɠ%O ›=RTiydCeחJdޕ9Z&01/]"k=wIu ԏot~Pj o5rG+~Y\G/苁o)KEI(tZ; +W; */XNzmn'jHՂEC ~c~ F;jC+?J%Γ7 Y)0 ){4mpXiva!w7ƞ JFзOW w+!N HOZ!&򜶵n=6F.hŹ5]uB[o)nXfe2* H8ʲPpR_F!Qy%o\fҁ~HAWfQ6Uʿe-MOi1_fp!熤vLiz+xGf }KaK[FS}R\ya҄F黡|-*1*K!˖%\RC(V&SFb9wAdy&K NKfsCkJ?QVs_xeXtɷ;]4[K"ۧ  c1Upr>;eJꁜZʈy\-C|ŜL )p}ގY}c Nڄ,Tf b)NHRH܇Zd\EQ6un0o:F\eΘ612`%$gu(wpD (@ )H$NxE2?欓0@~j6Eihu?14WUp l輽vfoU銔.R*BudK$Rɞ\䔎/%B*-p7Gmj$$c&95viwa4bB-C@K: mR;((b?RƮ!FfUhEφSŪ>]"n (_+A:/LV'G=wq&av1z62><9dV|[ӎR%J\_,U)U }yJ_)B~_`'n !߽AdQ`IOLK?!]Ai`(=  }J|dbuCK`9^h }hrx eVСS5:Nϑ9c/Pb.pב=Ru_ < a;RdV9S‘Z3L:E}U+k\͗ռQW|P?60I?C! ɭqOVc"/F8#I ݖе(C* ؉3Iĝmp1_@;WzN܆ܫmLz*4T ZLou$/d[#i.ʋz&{6.\G1- Ft PCUYЕU<,] Rɮ $goHײSX[%ȋ 鋤F^2/?>WʕP\٬oԚVNjh8Z3hEm7@`&fwCHW0ʂ: )2q)y2A|,erYgFҹfpU]Eƈuc|ǘ, i@kJ)a Bx$=_ /51h+' cŐ6 ĤKX- OT^S5Sb^q-/~>z/Q\K3}GUw㔶4xF%z9(/a|G;BjtY;Ӿfzhe6zuXȓf%G~c~VtdҴe2'k;. OA&n0:--2Nၕopr+&cM,WM; Cᾘ@!*Rtq{;9iՇ\{oPJo2 :ܠZnxPi>jnGU2j:C _Cx'SCۓd&WeվT&\8 Ӄ.ş"1P`|*׿8'e86W3SȊR5XrnaTPuy-cpZe-忤gYZ7zXZִF! f ]ŗXi%Vjq90(- Q6)a;il] Ih1+w"4@W@c۞73X,nߦ}^L5M(`?&; 2Kռ1ɢt^Ǘ<EOFJ@X؋*UrWI&y"d5(CVH 2_4,eGH+&V4##B=*X .Þk;lU.]r<0]2WNZjKQ끒Uu\VfNEF!#OG_48Xm+2lQnUrrpQOP_YuxSjAevΎ ;3r1 &Nob *ڜ4ȪC$t[OEpg_܁{V #vz9%R^@^m_#ȍm`~ZW~kLrc5\Ñ<:~'"*tJ~|gm:r|?XPG%f,_=;Y!ٝ]nMyg2n)j,ӸM@Ҟʤ׮!~ ono#zR ?Tű# ) ׹O7ƌyZe@kLI# EHqVsbvtTQe5 bfLkmsSHHZBE =|Iq%R3ˮ$K1FR%z\_l\9w)&odz]1:Q2X6 pKPdWyrYf*(4'*ce5)62xUyr P2KߦW8inLG3-sZ|OlZX0sn-76X`z<&c/'؛z8UQ\*Ԑ`޸X#-&+g3HE)~Z lnZaūTۚ/8lj<҉Lw[ep,/PpeK?ISz]Hp(O"_@uBc7d:Wpkxd(FG@Hx$ܷѱȤ9TXqbF ښqv4wҢ̒e Cu~g 4uG Hwش6haLwkĚ#^9;L*ҶwefXLwdn7Y~#+G dLZҸ[&X}Ӣ7z_ 0qv@SBp{:|oh25nmهxVEV&DtOwcG@r^’H\kk6A] ߐv8h%{b1r^`$ u'$;-w M3a1W^}:hA @\UB,鱷%e[G(^Y$ׇe {LF2С!wMOe-lfPN$xY>5-$ݍw5R.R1(w%DȋXL:M2e9ow`HЬhT`5y.AagUh/xc̃>ii%zԾ܉h#덯ms+?aH?/]gLZVy薭9eJ/@}}||3 BՏ\ؠ Ј&L-EJVCp ̵Hz`q?53!Y_ďොOA һE%[0"ѣwmds ~At0Xb7hdaѐ">]:lb2uj.Uʆ9Kpx+lTH[96O#Oi =ILUU1ޭ)CD 8%a*]I$H=kώ`)sIK%^q3NADW2;W$SzCZQ)`GS ´$/09.DVӐ C mcrki=~*6D1 V, m>6SbFjgS