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  !5 ,d ]/ ArrowImpossibilityGS:threads=2elapsed=5.258cpu=10.132gc=0.572factor=1.937zXZִF! ]ŗXf1-/6vRZ]o S.AMLfDB4ܮ..WkNX#cQUq ^%bCfwl{XS"袍YWTrhv0P||X֥"hQ_5< dUx+B1QK%|k(q1ǓRgkS]V҂tJu H6n~ͦwd#cInDf 8}V>tHc/;kbɥgO*&zepJB8dKάVe"=@|+6]ku D_KSa"=߫uGVGN̍0@Zʼn5TW,9Mv$22 tg8oH\1 pО.u)ut\VYVqNSvsqO0@d|f],:|'I:FM&q%V+SPO[CD"phD&*An 90ai{,I1Z@n  Fň$I}JPCW|2skz{-{[n=FLe|5X_ M`L!/~o_?Bg',\ۡH_䭾I¨[iE+ܘ F]Z{?*u~}LRUHeׄ=9;]n{Vf1>Z|kc.Li>N$b@HF]i`~LVcG1& RSUa|c{6?qҊRl)O~gYZd0c5ce1b5bee6054d57201c0fb75ac171c955895d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 5 ArrowImpossibilityGS