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 PP' \$ S]Matrix_Tensor:threads=2elapsed=29.907cpu=56.992gc=2.152factor=1.917zXZִF! (]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]S@ +sEo>&ovGŇ "rTn-ě5Zj⸆-MxV k9< dbTx7CYX%KޘT)lFY<1glhi2RvxƖ+u\V֨ YikT' a C5Sڡ},\:#s~a DQx4['}z@u?)BzUmd>ɘrsBzduxsnɢ9aolҋ'&G g .>AGhCg54ddN5[>mfG#B!Rߙ{ /ށMtvU)H$xEz&j¶s*y HZ ︓4],!7k1TUDdwLIZ#uOt|ø3BZ]%YSG] ' Matrix_Tensorw食v.ޔύ ̴4` νwUi *1/_p'nKJ!B?KVrg9':DCdVU]Zsğ*Z|RNLm*3!n)VEȯ{T"_heVn#r$+1.yG'Zehs,o7W|:/8fG#Nmf:3SYnEhU"иCX "0,ke s lOJYo~ =9lp;5Odm_ ?eAs<89Kk=U/:KEHFK{ laNuH3[m{b͢$1&Fŏ9I{[k(o*F63NfrKУq%wPP!U"cG {4#YԪ ]T TkDYN,OXrPrR5'LpƼ_7 !]pU9N* wH{||fNFpBdSe:Y7'ƖÔC6F2^'čL74RC\?0,ntF@՗gGM t?GQ/w*uǨ!Tb&h*F 8U#QJ5sj9#CPVVN{ڋ*<gnW@ќu-iKZ﹕=j@ۯ!.I&"Nq:,m.VU5D&:wi \:2bܱK+J$G&ѬHZAZ/_-.s톰 #~\Od&e-Rrj#Ș]`ʃZ .AaI VDB+a28AccN#Q L:^ǯ53ȦRʛwz+%8bb|yAp+6C|k<}k?5!*勇n1=MaD@恠9oAwvTxDgp!T4 RAufVATDL2E{g3p"8Ș,_Cc.U~vzUup}.te+7@qUlBWg= .gdCf񡡻+ ]WNylP-+Tz̓eJL1ߘH;yrHnT9X`냓VMsE{M4nJcՊ E &BhWBk ȉ7BOsZ %N01L`(O z%v•s:VTRޑOΓ%>"?Hg?TE汜64M=V.rKwhvɭnmi'7d<?p6Paf C>(6܈0kx` LQ*@sD扰H=Q!rlIn"5n C=V;lsYn%ku@PǰoWg|y왕 Kl s06bbQ♩1b☱Tƍd4t@w+ց xjaF: H\`w&؀:OIY%P6 _gop*xi[0#*c2gDgYZ7zXZִF! 'K]ŗXi%DQ?48LӎUg=g`C!g֘H08j_J]WN+FJ9*7 "iS-]q=@s-,vi-n;]gU@+EZHs㊘9`ЁP.q~!?ߥC~%@A*Dq>nRl,LMw91uK2l`y"Ҽ)ls3صyԜ_eL3b&%_:dԺzc@y}:ifV[!OEQ }rcjrb;e%N%pO෱=J[upTC-6%tUwʂ434Ĭ QgT:g^)])>ZE54ZLTdAPә2쉌 8PHWC-!wrSaDcD7>n  .UpH^ ]zū*;eZV d+1֠/6TX?*C2"< {bXH)/Q})(?Sqj7=S9'q=M0*O!<#K` g{&<4&+G~tex*e_+oIXǤ;zMPc"jP> )|!b[5?ogcy!|l"Nj2KAՐ%ŕklz&jv3xFU!<-S7RlIg 4\n|{Y{t3CP$*xj a֬Bfx-=\ta &B!MAIbHa$0T0@> @"CǬ7e,+$[Fkc=.QТanB`S\y~酑ẖ,zszב/]S/3|0rL ihɿNd[|  PRPR)KxIՄb5^ᴛrAZIdQdR@ư)H9tL52@!XO|M%N_7;Cԥ=@4[*AAk!jK9\R#wA--CFuQs{k`}Bx:J'D>I˨8'2L qw|G^kY$K R-AG_imh&7Mz&r/SK> RiJe0 2;fquE!̄1|*tQ7,G Bytťul?ֈnb̗yTT~vy#mpast͆z>ɖjȁWl7A/8Dwi&F"{yj S # vv7¶jU QH9O1Bq̣{KA]_㪺vjBUAWMJ>г\wbh ?+X~`6.8#^-y2tJ)Cع.w8bsbml5ߋyPnM[Ѭuh y/G-+[2h,NɌXyR;6㬕ߣgJR Ӥn7Ȓx'2te/vN0D(ŬВsM>IDD\x܉Y)cph2-fVMMk/Hf/ f+(6<&Qgh!/3VRsDp _\ Cc M 3" p;1֎wˀAq*;7DR($>u ($ /lMyj:kf;ܼy̪+P_z |B~aQL @J cl