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.308cpu=58.136gc=2.368factor=1.527zXZִF! ]ŗXf1-/6vR[Uy{JqҩC4f(md` ߐ"6h+66N߲k]]&vۍXwg[D^FEx$\hM,sfgW;6Hq6u,`zyxb^^fӆGfmt\H4ѧ9wĢPgc ^%m$Y0%fPeNOy̗dԚV3 *thw';cr\w朑넰]mG.iK/a~(_rb/HO8QlpwPVSc~l( ]I_pF_l/S2x2!$W?J!Wp7Lx<AQ撎 ]valahzs]d7ҷ#ZNɣ4G.?jQ+|v@pPk|N M^KB^ra~Hxq&H>+u8 =VK֏ba^=s:E!t-e|[6]SKK^{n~ ZK=_ Ld&$"?mr$}Z?cT240E(tӪCZ@S tَϺlTlNTΏO ^GO`m7;5|ҩjKhOɺsP!X`A0%̿9َhvxzjJmd9?bC:~Bi 584{hD1_I-T,?ۻ\\W"jGyܗ+.\*M|æzB~zvn(tl[fl1W45M,m/p󰲫hI񎅿;c=꺭`-R)~9_潹'-Wqd =L?ˏsOж/LFh͙ICgf~UubGި&!y &zR}NwSq{մ $$Ӈ[Gi1qđaqMʵwa}tj%rfז>L =켲4m+!0o뻰2d}ueUTpmJP KցX]7ˆcaF3ch3>^ @*Tg7V@--m8a2KϼQm_c}AL\r '߻-̋'gYZ496e51d31d5d8a99950529d8ec8ca9f35ce03ee0 918eda23a59dc008e33f1007c416e95253fa3cb7 ca717aa18172bb3b83c6869b84847a36359f645bb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 a62a25aea2b8c7686c40e385a93c207c9154d370 7bbd611f2341d2f56dd4205fe87faaacb3c9b0fd783a71e312d5c4aee2f4cb89b6c0475d52cdc21e ' Matrix_Tensor