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 ~' LL ]%]Matrix_Tensor:threads=2elapsed=38.092cpu=56.484gc=1.932factor=1.487zXZִF! _]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]sK嬹kym HO&5men[@poF}rp\t8ίm`c |۫(o7abcCQ;ϔ`wW7hxKATݫ?ۈ365yWC#hmQ¡1/fs{TS[p+>.`S4܀mE"ߓ6Xu%#)롸uɡnwf,OGkj/5;zޏ 2*:v*dx~Z#1Ժ~`>Z|u`߫p?R /a: 66rŊNQ.4}CXij7Չ^hXZ5ͩ@>i9e pQ:Ɣp/VL32#MM˩e7϶ +eEZ1Q&"&Pľt38ռݗ *qP;sJ xPLO1zsgYZ7zXZִF! OE]ŗXiɟRepE@$a qc!L`אǴqy pP]~naP9 7}YZ7zXZִF! ྶ]ŗXi%9(R5}##xÔșt~f plw&d}9㸠dbRSddj_lL@ Cs? +x~U41FGI^ BS)~ӬZi&=(oa03ŮinP੡TbUwa緫5=1F²ฤ BL8p߯hN}KrҪ oD'LfEA rw4!!yG\ bi}LtEVtJ%!EjU_.duբE w>ںm%hR'm#N 5$_sMۘ#ui/&!:^~$0y6V64}$qi<@,;[3A,n̵9{!<`-|aDN9JX^YxO#$ʣ1׵}} HT2nSs`z?:!گ׻:O7?::>Gq_ȻQ>GN#V1+2mjٱxI]djcsXkuBbҁሞnL B2!TO6cuPI+réaUYSʘ`HF jA'XFLvHe׵*k|iD2 hQ鹊yġxנd.403N6y֐ds^gym7շsއ`>P)܅ڵH&@dzDxu;2\t,o9@;N@997iRɝ`@\L- x4Ht&B$ʒ+2V{4L'4nlLW?3jk݈ ` N~G=Ly /,C5Wzt"zik4P@Su$e]YN},R,}6,%# ]P׹ QbSaػ8Sք%;3{09ڨP$=$FRqɖMU+J/s6j*F™Hc<$>dFtYI, ASp!Tp0jFtHooQ_#629jeMpа &H,ޮ *gYZ48aeed56f8b57b238c00ae6e7c7bbab1f63b2e6a2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af 67efed29c5db44bc5a6ce1038966f709e5ebb132 9d8410c274885c22495f6c235c1bb948ce2875136ff4649ba82bf2bdccc932ff0636afebf3c0beae ' Matrix_Tensor