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  V%,< ]S ShortestPath:threads=2elapsed=5.399cpu=7.544gc=0.128factor=1.407zXZִF! ]ŗXf1-/6vR[]u_4(މ׆IdƱ^x?svb,mPyN;V=q㮁y_пj쭇[>qDD/z{q]nWr3{}6U̵iG_Wkd۬sL7rstL gYZ7zXZִF! ']ŗXi%92M!\ m ,_ca0ȕ 'hW 2Jݝ+M 2IϱYhFMJSZ[9qXV˞I~[ڽn .w9  D $wDt2c͵+\Z ˱`Nb/BnWĤp y-Dtƈ; ԏo%kb#lԋ632@Ϊ(b?&}9+ʉ\s}hhr'* 3QhC5Cc6 N Vb4M2yj'R5C}(B0s dےX?EZV/d5Q&On -_+WfqKOnݚ]YjJї)haoώ'va_.TBp")-Pom|ޖF}pAqb#8y3Yº7JJ_;:1Wp=/TKa{gW61^Є8C~n&{+/5w]G+W|ug)_KYԭ7Y$b1uhUuD TԐ؂[V2r/$N딃E9y 5 +{,[YB{FL>3A-3l)MaĐ?9jl3pߤ%g37p0WL'ORjgYZcd91ba1edf75aa21924ab5040d24bfac8251f26302339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975b 14679f1c30bb87a55ee6a6c09addc0c4e1c8a5e0 % ShortestPath