SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 kk' Tl ]%]Matrix_Tensor:threads=2elapsed=42.600cpu=61.680gc=2.724factor=1.457zXZִF! ]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]!9gg xך О|J56y7.A$"qMl,7Gmpz(EnQ8zTv?1 Sf$[h7yE.;g#*Ǒj:#Z]4m wL/s-ekAˠgsG࿴"7w%$),VˎghQꜫuk!Wsf6V :hF'qp‚M 3^J)WB[F|d9Ck5q:k{G6d&0`2 -j:*ԑr]?h_Ck{ &sgOmJ-hrwʣTɈ9M ۥoR=[i ޗ4$~޻0RW'j èF< 0֫x-qN[EQk2܆3x+%|~:^_"/\;T+Yڅs9՛/4 ZQ0m R ۭd!mP4,ag KWf)(k^(b5Xٶ`D;>y˱gYZ7zXZִF! OE]ŗXiɟRepE@$a qc!Bl @С$B*YYgs%"`u EҚaP9 7}YZ7zXZִF! 2 o]ŗXi%;|c1|GXP' ŸkӟHg,;b^m/;?7anMȿw6v Rr,LI3v$^*%OO=s'l[ԌhԙVCT;TvA @@ɑR8K01!ꏒy)>^*Gmޮe*$ИJ5>BE&5 ݉S^%`VyE Ŧw}jsIsF7rp{k#9oZ gTTM裂I[^LA{Z1X=DffW:ˊ|%s\7 Oho,hx^a.gQHLkT[ZKƏ'Er˙F7gS|R9?/+lDLק? e}/Ա5>!UE ;Ҁҍ# 2 cr }7bvLn*)[v&$c(OE/ 9YBu^CBEۘG > (8pu+\{Eڼܼ`%Lz3q[[¨eJ!-qm5zG;$&=`ZD\$оFz!{Fa]׎(dt$-úX1XMe|B+-W|g%,+RAB%b &8|0/1ζ@x:a V^_{O;C}Q"x×30/E$*sύAWZ^Z8wJHYu[$,ۢt`k, &nUk̐2i4ŗO4NOa-jNϺ<Mr;`Rbry8Wgߤ]1׺m"\IFH(FR9G@e}= ]/@ 8!@9 qcǫspW&'d)w\'6 A_ӡ\_V26^().KITD px>X/MۭJT2R:V32!!(=t,Nwh0 ʫD9zZ{D]:i(b GG(XzqՌ\& 2_ Y Gyu `f?.Sl\*ӝMfLm:IZ,J9Gv;lt OIxA kr^>hs4 BNNqϞ> mPߖW&pURң5n<w&AcR,SۑSAlCPU<:5^r\ݟ!x &mdj]PA3*6@_6҅OƖHmlʹzUbUAOѰAJ/#V,4^M:q0tN⯼S JHس}v )/ggW\&jdANE[7– i^J9y?>Y^DH ,sN7A6``#WG x^}ɐ˦Qe N0śn)sߎ *fA)[`am5{N<*ft[w.ɭd⇾ΠrYT+Yb]Izޭmedvj yuv΀z*2k5N~B:4Q(GX)io( %0.ƧbIR"%#'U-Wz"]D8-)kootynbALo+r127%fMB,oq ܦ%:<h %N[V8O:kPP{"N/Tr-'dgYZ61d796bdc0cf394b678f7d7709a843ecdc0de02679d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 76d75bb14d8206c3200e2452a634be433e37464b acedeb326c583ae3a7695d0cec094760832d66cfc7ce5848ab38920e4684687ebf1f1daa4437c072 ' Matrix_Tensor