SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ##Z' |T ]%]Matrix_Tensor:threads=2elapsed=43.101cpu=60.500gc=2.768factor=1.407zXZִF! v]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]}=Qh=ݩM[ex٩ )O8DP !'y4YMK շ]mYma -Hq{|T^O 9ܼ$+ :EC q?B# UORdžoh-soK#TJ*2L߉  H}6U:Hl+zj_@Clj) 3˘ \GZ*+|5NfZ"Soo8ggf&"_lY'\<_i&*=/7| Z۫|G;' ytN5"}[dq !ž2wO}{f0 )#GN:s^ÇOk+^^ˈZO"}'ʮVX^M˴ƎwFգ{ Λ@B7Φ<eS`a*GJSRH9ܼr&+vWÈSU%~j2zR*zPud!f盄&88tfZ['YwȦrF1o7:Ϫ1 `E 'w6k-hsK Y.BC KnNj{C,6IN.-K-`EH_4hHJ(oUmkWJ5,`vS||ct |ZZ VQgfQ}ܠ[CF[<#q(<' ϸ~}NGȡEObz2v _;b{ \l2v3_Wi~ A2ʾۗh@--7Bŕ2hbsf4ʹL$H޴R!JNڮ\ZJU ;L!E@_Je Z49PZ6hY9?rR1x!Qg"RDy…>['El\^H,mCTXN/5L},1l3Y¢)ZH͕=Kf\dxa`ug> :/D,ˠ5v 6}[Hl 2tz UY8z{]|lD-3q_duᑞ<~IXtơWf1\)^j[2;QA.kL'\㖪h"5X PZ7* t]Xrm#k_ܔ5 n5^Zzo׽۫3LENT oHE{͎ :SI 9 z%Ge [7DH+eyeql:8+t`I/zí{c -ʨ:ġaL۷:=a~-.P<$ 0]s?ΎE㏶Eo(zNo*|򃃩}GF|y`!S6'xZR0ťĿo2`%]xNq$2SRN(\1vzbPvX-3Zi=C&c^ρ͆ZxX׊4V^F{$di>N[z1 ~V[ ˂53{1Q% rJCnR4&-OqB:Mٱ%ƛTh9&CY'Z WV1p8R52JF5K8h{*pGoӚ}vmџ¿fA;tkl lkz]Ts\5M!fOIDŭ̸1G-l+S.o0n_gYZdd65d13ff75b80e697970c0ddfa76127dc43626de70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f b7fffd2aeb6fd71ed6ed3ae3b714f2cccee84623 b6a251fbbb0ebf961cac70e12d6f052d8f4bfbb06c153a837219066000922c77aaabdf6c1059beb6 ' Matrix_Tensor