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 XX ' l S]Matrix_Tensor:threads=2elapsed=30.820cpu=58.708gc=2.096factor=1.907zXZִF!  /]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL](MSֶi ZrD;x"s*#\ݳ6"[l,}|a&4icZڔ|&U ;k0$V+mEe: )xZwQpxCaθ?= $KqxxϵFtpƪ^JFZo2xifxfͽ4q, pKµ:}gɒi荜Hu6M$܌TvP=F[-O%AfȷRa3KNp&d3?){Bәi}l.K3'FoM"3}_PK g:h`lwxB~zRPo!ԩVA*7lO\QΉqZ^C8Zܓg+9Pk?{HXTbrG^ H*Ν:R ­ZC{i7¦$mVG!tk @Qf©Xű,rv+|XRp6_*ey>t`'%  d@G15 ?Duii iE Ѓ1BO;+Ă厷~N)=,qjb`Z>p\ j e%k2B|fm)+]mEږt}r1ce~D|Uqע ^` ' Matrix_Tensor3w67?,ljR}_[yE (iJLi犌!]{ l zO8m.BNjv0yz\;&0Gd;|]P2_Ú+pߙ-:}Ҭ 6ϖ)[ ƛNƃ$)bzՈ,JN6&lH(z.B@ %yz/5n.MiKU H5U(dpRE10KHHhĎpy4LF oy*5׬JW!%>$8cGHoQ^A4e1NQeS<0>RFa/23k<^+x#lUI꺦ޚ@YaGN\Q -^p"h !Ǣ'p976bIx<)9FPǧPprO dv*E.Жed.ktG EUIk- H9t͟ew}?WX\6%@}C _cW"y2u{nޢţ(0JKM_;Şo^/[MziĈ%FbjP ?" 3 ]pi8IIȁq6X2iDgr_vs}EQaڴ7)[u4L*9/<b:x% W 6?<!#yUR:oewrr nfxyg"wB0gLݵschYYQ{Lࢠhv`elNT( DZ< &C}v6 |g)e}P-^rXkaϽLm>]m_wYrpՃ/I+@JDNDCfD@ 1ewEь7kYG}$y]d@ } l:HaQboB^VPV$y6 >Z$&zn!;|V$uŞGtˣijHGŘ{D=>JìmDjARhJLƭ!mFs$liFqQdYio a \ +s*y}JY,|MKtM*6Rm͆b*Fޚ/\16K̆N3oUu%$j 2Х]yh!~3_>!R)B>g꼡$Y$(kMfԅ 0fmfe~,&pEaO΄a>y l1f>ԚZl!+TK<+'qզZtaV6 HS/Cs$ת~:R ٪Q7| % |LhwҩW79>JN2>~t4> `kS ,?:7b9QQjw4[OO#Vsd]({hNX"ZVjO?O ;lx!2)DJ ”v*Y-襹]8_<]`7kˠ$Gjvv N!_tN #Ivǿl -kò"Imo.NBkʩSpK1HGPanR8/.g(]ʋ#9qgݠ8\5jbfZa{=uSf4,?qau]zG,)C4KZO2jއ~fY0 Fcɾ- +ysKKg'P[^^:R~"`<ԳB PO.5ckOTQ^cd ͮ-7w4+t"^Du&l>UE^"Q}[}f$ײQ.t5膆I^9Y$AEqw[p#n`NVKpa nqWlOO @NӴfPbuub%9"-'b ao{X6gT/P֙/xv&xD!帧s-"N^|bwzjYԟwY^xfxSJ^H3[yָJqh9FG~0It ~ \uYWHJP{i#=,*v.Cf0mn'pבk6-3  UL.'`PNU^r{8z39U0~m Tgqtt>p".>Mɷ8 i/[~`1R-󾴚bf_Rݦ{MVa}]mD=Ef<5n4* z|)KаC tCs 3Gm*-&N]gYZ7zXZִF! :]ŗXi%zxH; ;)n{ÂRLA<5RMt7.&μ𲲞BKnz_9SK3$^~%s 9稵J3}q2 I(~|$G̈yQ E+!P4@o޵$?2hz$ٟd/(@Qh>R{:2,iq@ 6*mr%x`_(!ƨmٽGTcH*=$\0BeBLO&6cemb=#=6Y|{o`lؙpE~ <(̹Z 1J6 )Zˈͭ&zBHE7@g"Hw~La'x? FFjV7X`xl +ȇM$k UgYZ37031e95199e4fd6f8c78dd05ead4cf313e2578e 496e51d31d5d8a99950529d8ec8ca9f35ce03ee0 97c9d0d8725cffa9bcf99561bdc8921605ef1a86c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 bb43b5a826d019241562009dcb69ec09ead051d1 42ec8a8df92be55ceed0ec12c7c23c277f0b7c348836195cfc6442cec3c605d70338ec4309f3d504