SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   | ]w]HOL-ODE:threads=2elapsed=0.158cpu=0.168gc=0.000factor=1.067zXZִF! 5]ŗXi%6ߜo$HXY2~+5Nl;>ZF- C%%ח)ޠ޽'[U<rUE|7clC-%`n-ݙ4d(6qe.\h4{diL i%SIJpa]Gg Mhq$=E:?EЄ"U2mbE~oU' }._qTT_|~vEۡ[B6T.V̀ܝ=ُueتQW~'r/րsAhEڹaYw* bgYZ5d864ba5236b935a5cf04b87d434fffc43ad4316f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a b534d5c3f385fa73291b40a2d8a49939cf8151fda5ed6ba45a01a64a994a7de3b020bafaf3134704   HOL-ODE