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 TT ' T S]Matrix_Tensor:threads=2elapsed=33.520cpu=64.396gc=2.688factor=1.927zXZִF!  ]ŗXf1-/6vR[Uy{JqҩC ' Matrix_Tensor4f(md`TGXqQ ZPL]^ϧ -Szxhkek*`\8͹|RhLw}^<1Ԧ-!mQ*m3F;<0DKq*[=l/G>?1l[o՗^HV Ok{GH_`us~#R A3`@g%'$yt8} 8#bg5(:RuG/ٜ^h ϿLrp^ΤRHn6]RNqQ(xc`ҾtbVj\ԑWy/>$A< pOAII2k?fJF%jMS\Qk*j%]ʧf0TwlQ-qaK)C&7j-D "uE$%K,*He? l/ M6J]:?#cs`ȝi >j.EoV5 gG^RSe>N _X4N} Zn{VZFm#n=8Հ1Lc'!(y+/0S3*=˛@)FYjSh?7_j%krYc|/b NS3X=ⴡ;˞G%0\) q z9lY@ m0#ɯ\^Q#f&5EcƤZ|*xjl,:dH5  ')րi1Nwΐ*H*_ Y˃:FeX|"B0[D dJoT B%{48Op3s39XCl+i$e%ij h05:ԘVl;DWՒ/s'BdzJ⠶HbEW⒠!'d`ə讵ڹס~Y(SEq`zń5/70&HKoz/i4 v h3qV:0R`Cj-9ԻLQdA q>jq͋<> a&\I6di3wZBƓ،Ib̦zw xJUNS.cy)B6ᝈSk-lL@R_&H.-t#q;y o_8T;=*c$v-XbY`]˙g*Vz+o[r/ΗS)l)3]=s\Ѧ& 2MMq|؊[*WݤyCC,'b$ 1Q%,FwbiJZZOd Rqu?EɃ;i8myq2{mPƌ5cMO _j>KGFfu{(Ɵ\{j&}C7]i22B8d7NX$jJLcBGh /8 lr7r?ێ#sW@\ֈHcZPaQ nICLd:F鲦sGٰ֒iDB jU&DὟ[6.lQa(KStc\-կ;yջIG53ٗ-tҏ<}~0=4a`,a4S!n dN:+rqT؂$ N PJ̉"I!"QG>$:xL4u5o x"v~̀Ǘw6Rc0a P؁Nu=Z)QȺ!*2E\_6Y-J\Rw~d`@RTrvj|Xd$6OI.q%,LYh˄D’j,k5Z׿-QI~%*x؛*( ==L[>[i0ɄWܻKkn+m&=|!ADj_ YU1poic@8TpXV=౯k}U=|L)3?eղz6}QE J]Ƣ=vϻ "E} ٦TmCX{9N谑ⲟDohfDMg]ҎIxA-Lhv|p H;Aab'pϏn1 )h<8[SF_{[0T9{C%f$-EB^Xa.Hcdb{;e=peߧ-B9@B+~)7+G+5EOfUlN$ rBA rk;Eo_K *BG2*&i$KO?`ט'+6mep ?f65}G8OXw`eFo"c86ZLa4t-am(!PFa!D>v}AX عLfnU_͋GqۻXV40E-#V8_Āa& dM%Z+: zL ̌-^eF8O]ʘf>`mwr;>/ڠ>J) {nd)V* $D\i2?-14׭XPAZB41_t&g.r8fz-Mf*}AOW'7b|xXl5<(^&ll\RH.2ǬݿS/2˨`ϓn ZKP>=[AdfZB+DB:V>.z'5ǗoQY>x-&~MW}.pY{._[Y!7~`%m"Kzcy|ⷸ.T܃Mˆt؃tZN #@c z6W&nXǛaz1 1N`5_P#pߙ;lf >6jwyqAl$ˈ /w4i1#sy:s=HowG|E2IJhmO"h ҮErܰzT90h$6%YefdphD!D|y3ᵊIPv\3@6> [?,dIhMq䵼e ZSM1˵BME FC _$ ykiyFVA:E pD":EN,O AP|6՗< ׏%.&0;bOwW"1ӽVwUZ X3S+&[؈)޷.@$w3-\Z]:~l g!iB1KdOށkAx_̣t.Y+yyPuW1O½ J}P_]|L ޻ҏId]TRivL >LhjiWo|Dr׵JOY]6ML@eqYBՀo&YizVbW'a0t6媟rH9/a=o,tS|,15)ˆAá\??ѐ9qqlhR75^] u1JJGB1P^00\,sZ;xwG+A$ȧgq:Г]b8{F,oMs\WY:{ZeO۶!FC{0f _'q0Guv%['ɎX7,$k˴CwH"VN6 &_ ݩǵM58=p$'ul'^_Oc?>J2+si?ג¨;+n: l'f9㤘n^ͽv/u G L#3;7EK"67YYoj?#s$;9.5?bi(iufDB2JڇJ*