SQLite format 3@ .  hhB77#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  W W' $ %]Matrix_Tensor:threads=2elapsed=29.946cpu=56.696gc=2.260factor=1.897zXZִF! ྄ J]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]{AKʻޢ+U14~.h`=%%CEf,+{@&掣1&P7\6e&Bx:^]OLKP_Mnz;w~mZBOZey(DZWf,4ª. D\Զ% %gMȁhs;)&uU b'b}6 E۔BjP[Xr,uNj9\glʑFSX4wu-7ݟOCsA[XWSM\M##yњ,ɭDަ3g@WC[ˇY2s4?46iEc57 e1miq41:Zbj3&E;yhDJˏ(e61!)ZpR&+ _FSa+s߯=%Fxk%q`CmC=N'ʵ W0 6TW.KO7qQN)9D|&I@ƄS6OCHV]m |U17qW)AQ hfN4ИGrgS/ ۷@ԟU\gQߑUs_>”AoHt8WH'_IiU%;-IeG>#fOJG hCo j ƌEI=b .I]l7]wh_*.(r΍ &n;$O˶@4znf܊IDr׎9䗍h).;V |y;gij%Iڢ<.MMD(vXFGE,LIs|6^AO[M`pC#U-mfm=lj, Yq^W qֱC{h*Pݖ봋8ws`Ws\;pWQ 0&s5Cܞu׮\ɂt@^@% ' Matrix_Tensor rw rIVJ)^% %LaoLcrN"+ocOSŻy-Wi ؾ2] pax.)@gι+/OFK<ъ 4tӥH1g%uX;JB>n ,?a,QKnC}~iIVtw2WSiGXLg9KYWfobc\#ct4ꤵ oɖGg: _QNUՎW;*Y.*Kg LD.s8~+aX)ihJLQDZ!p73 #K_,4G.=`9{\/i!^k,f_pD܈͒ GRCWZe#8e\NkԢ]eCC)eLσv*%MUC_\0Ū19_?e{,d~=G硶XW U2@a/U?-yR漗mi.< {%"BI ֥]w¸h4BݭJ~*Һԙ&R7/UP =φ/&i|4+iaͷ}QF9PXԫ!G6ds#XzܐqNMa=Wd]l `L&db p/Hhvd ->VAѷ8gnM1KsQ"H!Ek\n7BxKSRtjf^Ƭonaʖ ]K";&rS 6qj;!-]<6 4ugYZ7zXZִF! ]ŗXi%$,D9DZ2?6r3];{`,.35\|H<5+%+8'>jt䈆zU@)G'C4*MEkl5Yɥ[)+aT ;ȳ"{퉪#frs{Ə^=M|m)?@pPq!wi4$6DʞA'|@U,Dh̛wra&@v*I_}"o>]3^+LM8Ȩ4WveSѨjY퀹T%N+] Zz#q1֨nO>?dހ_p}z% jgm+q'I{2(!!#SИv_QB:V.i ` "z"u`4ZȍӌQbFa_dVdCvzGhE ^W\$tNbsMm@tNT;̡EY?mmtl}Ӣ$7n`8`qQhט(oȧ/6jRCQ|YwMͪz I/xtpu8p~1TcTϻY<tN!: YAk8++.5~l0͇Od8;kI3+̮xyOc2.hYM0R@IYk)90M}_ cbFK}UŒ13"7׾hpkAcFmpD3%P[5=SBz] A6^۔j+vN@8\;ózݪ^x}org@4a~hX=+iYuFGjsz +wGA+ q/pцSu=O_Mr#TʩʆP⊬&fF/Cd$RB?o-< 쳤܃# Ak-95/nQw_9aͣoz3Od#G*bsPq7z+E$&=s3]@4 .$GPt/8+~h.\Item43kugU85CΆ<CW}v^btnч@kH:J#`"[.~@r H(1SLEBW"z/p !"ucԓ~9_KX0p7seLVYL$w _@ʊ;(b?EC N;)