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 vv' ,d %]Matrix_Tensor:threads=2elapsed=38.916cpu=58.908gc=2.280factor=1.517zXZִF! 9]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]Q~HW?;1S\߉Ji+ffN,TIf",.>Lx(&bq >HaV`RX{[~zcSA ]΂] uU4K=CFrMOJ}^WClFe|v  d4)1^Y=[ح>߇yYҁǰᎺĀ}*%o/"j;;Sq_7a)GƳfa:"G.J܊MAr*:8(s)3Y{SK .Ľx>M{u09 0n1%2#]g @G՘^Ldf8Qh25#v6B7gYZ7zXZִF! ]ŗXi%} _/RDd9*6P`ݮOTtpls ;%uRlI ;YpV v1 u4--}4~w8qt͂8b+&2Ppg̖|>Y8y [VJm]H0g N݆* 6 /m2&مqG}nL4<߂~>^].z4Ȃ!d@ߘzS߁ K-b'?XaiT6&}81D9[S zʙdFlLu)5")-DGm4h/V82V5 3ƪaO/Pu˘^Ǫcƈ1L\zђE&RD6? 8S8m\;H rvߴ/L1~X8a֑raaz%#h"$dҍy㞭һʋE>?ryx)'Y֝D6 \"uu}/6' 5Vր9F21J.k3h=*h)\~ys"=IY+.Q#^Y% 0΅-P0o*/J ОR> Uު? UN _rAg5 L{k %di?;B<V9m6= (!FpRyt"=!][P/N&+xLk)hW .IzޚeHFVI$\Xƭ^"7g"Y;.MNYN-Ó.A!; 1H-ߓugֱL-y`nE 0i%$py(\X[Rn}q<*_z]a>gTO\i/8hODMI]ia"6/c4Q2 ?Ϙ4o] etSwWɛWsIgM}A TvI$NSXcJ7Oso$Cy*JZ]&sKHm-֘}V1 &/Zu'9˘3_̣ : U%vBiFƼB8pz4gHԃ2DeS+W Q{Dg0'k:aɆL kЯ)&mR@h҅ٳ1٨\݁ N>~)g5_}&[P#b9+'g3Ef)jK45*Hw]VH0K6nt/(`ZY#k;BN)ӸPl4N@&rU[GRc%k`C.F>$%vg5Sa}XA|;p]R"z.^׼GMѽK#*lBQTc" Do~.ooRjf.m_3<3)̨NĽW.0pMyI~fyAy -uZ& izWTl _.W=|tA>F?REt>5E,}`ݪhTL#?,tEOw)/Ï[b-9Ἁ1"N%'|ࠫ~XgYZ496e51d31d5d8a99950529d8ec8ca9f35ce03ee0 5d243b5920a59dd6a65d90a7b18014b416b97181 97c9d0d8725cffa9bcf99561bdc8921605ef1a860ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 34d45216c9c2f40984859f5930a26943fb2d021b 20efc4dbaeced11921610618076ec1961e6e211a7b2baa87c78069b7121a0f65c151d0e7a33b755f ' Matrix_Tensor