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 S#tL $]S HOL-Algebra:7zXZִF! e]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!fdՈ>dPPhH mi~JKAOU8*';Њ+7?xf?i/GRʘ;OcquReL<4+xV-Ln4gYZ7zXZִF! `]ŗXiɟ1`?#DaCu8I~qD7(sm>[x@=bqtj0YpJ=OxBS|#gYZ7zXZִF! ]ŗXi%97+ڈ.K`kNǸ,R츠k\VvfǜmyiIb0Jk/J.P/QEbx]SIH D`!}1lmjB"z*K%\KOg }H;iX"^^T7a Jn>M "MJ *$Q!CYU%zӚzQb'׺lCvHW,&8]RqOImnӶ}L;Y{WbktXPALǤR&,M .62Sbف%S.oX]1?+(Y'IXeM܁Z,$T9can:ߌXV@gシ-odjh]+I%O*#D0wY^b57W)Auz򾜥X}1\2Y2DЀY ɯQh+qN}'N L7XZ=MOK˜!o=/?ېpc ̏V^' sѹnZNS4 ,E ŭ>Z>CӬ8{CbjxYDPM剓_2( ң|soTB=l)6l~Ҧt!!VT