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   r <<$ ] XML:threads=2elapsed=19.510cpu=26.880gc=1.788factor=1.387zXZִF! ]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R  0](J2l`AlbgE!+םrK_͘/dD>PM 壎[zx sʣ֍ym!,M#ܞMj9$4\rVF,&)[ܯ8Z'Ӏe;\t:k3qV\ WqmP4=Ily8P˴7ް7F}G4G` dAt^ )"ШNqM#xbx6yDa ~jv|qk );.e|z NGa9yΐ;6-g bt٧n+AQ\o4] o!ߗ`>mPCu\H7TC%ռ̘W J1#)DbO2t؟ΰ۹\^~(zL |ПJGQzVb}  #O'a- M7"~@ζ%U's] 栭lhG[;SmG;:;^-EccޙnE?:'C{ae~hnAUiJYeS_{*uG)^+T9t eΙ][QEYPo. [by-[N bu:gdxU *5B /NuyJ4*TF?R'E>N7 MB1^)8!/L1ԒЦ;2)X`KNed@[ϱ&(*LoAOo y^/ヘU~f)ujƳ']L?j