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'' |T %]Matrix_Tensor:threads=2elapsed=38.895cpu=59.308gc=2.260factor=1.527zXZִF! 1x]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]"fym&i?+]qWBp;Hws@1F^ùsgXa *&{[(9Lfo"PT]gXr*|3E퍩pSO{pIxoh+$hn2Lp&rHa<b+UpEV uGWfsGv2IR N0(䅾 ,bvG&ct=@ﳮ#6`ZO0Fp׽rj7Kљ:?n%E)kcc 3 $!xTHhoἪ [ `8>Inì%6!y|^WS@+rLx`A LPft(ܯ/44vߪ|2cd=M.8p JʎɈ奇RDCOl~oxk\ݜ ܅soݲ6TnSL4/أ\$L01ʙ=d;@?R{ke\IB_ŒKΡnj{M7r 9[,LZOn2~|J6gYZ7zXZִF! ]ŗXi%6wF%PR 㱑ndwwbq([',w㷹[˖PFNJn.1Wci6NJYz_\=RYݾ㑬!`~4SK蝗E:!s/Da#Ʊ"Ps6Rl$4--5BptDh.Ĺyo"x] {6{) 0>rӊ'ـMݕ(_>K*blG ؙRAM_$mKB*`ʡ#X7jg2`.op [D ymz7wa Afo% e7E1*Jjr92wSܘE}Sޔ1;ڦ!%P~j8W=?Vů3BGES$Iv *9}Lc BI?U31ho_1%!y몑*!5PIcCY~XҾDUb`"T--u\QO^_+ڿKDE^WH!űZ>`1MQ}VTn.hx#*q|- < 5)?@ʱY3V%4?j'"mΐC;i OMKieݽfr:e]ΊMN$ ACya[k)ixA + *?(灁cyI;Aߦ3pMxj#g^f0ߢj7&Gvl 9c90DtO;Ί[no@bpAu]FELzj'qa9< Z$=Ȼ\~}wTg$%Ǐ"n7dNt-f'C|&]\S!4;p^t0CKNT&'6Z6l$t:/" a_Pԭ߃p}s`-օuo0c:mYM.wCu/SwƑ`) 9[k*f{q\Ǐeb laB?*Gl9;ញ-G\!o<f7ʱ&,kf;nd>Q{ ;Q2'-S@/@+/7 ujq}/~9_irˈ6 .ޓ<O( 0"1M_ohiI&w-p>&M:_5rP 7EGHm>KѰә5-Tk0TtGO1GᵌTuH ]e+az=]朝YWW|G6y V"BFcli4!boeF&b_SӼ>fYa,œRKd悬L;Izbhmrm+"",!a~V'8ovKepF3b283sx?+"NdKE+C5$M[SWQ3;A>)OX /WU8^Q +!TFsEB ٱ/.ɓBl@DW~i I̘:"YL]cgYZ496e51d31d5d8a99950529d8ec8ca9f35ce03ee0 918eda23a59dc008e33f1007c416e95253fa3cb7 ca717aa18172bb3b83c6869b84847a36359f645b554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a bc0749a4f96de53e4d56260de41318a1871837d0 577ad8b48586af5246303fa664d45985bb4169f02867da03c80ed0a9e76cabf86a4b8fe02cc7ae7a ' Matrix_Tensor