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 <% Lt ]S Sturm_Tarski:threads=2elapsed=17.036cpu=27.448gc=0.492factor=1.617zXZִF! $]ŗXf1-/6vR[]Sԯ'=Xܬ׎_[Fׄ<88}rWHU476%Q +3v({W=f)rt#c1x7Խ:YLa`' Jh 8PU:I>,Tk' `iFAE| ŽP޲pW8验DC{yT&h_A3x3Y1}v bzj+Jzjclw ~en9_cУz(믛rx8 Ff^ .DZyҀvjv8#_bsF@" ~!vKjW5N00AK :C7Sɖ^!fKB~ū..skMz:maVeV+Lܡ*>s"SgYZ7zXZִF! ]]ŗXiɟ==M*]0tI'ZbrC-PnZ8'?,Y$tqN[@(x4dy`gYZ7zXZִF! [3]ŗXi%9#c[UŴKK>S`@bɻ`g4+~'{((J*֒n+k!Zʂ}~#ĝ+Dm0Ms0< 3j/`Lx9cG8/G9<=UW<5pa/9ȯ҂yztc CՏjM(|XI&#OŽk'8F"hcf6gУڳyR_0gd|%)Ce}34 K X sw%E<Oݜ>C4N)秽Yp][|T:7bKur'T,/7~v%;z˜k2ud]s ,"$\gICV9U=Mlt n* }mjA*NY¼1:3z-B/ ༝K1E0xu_d}ʒI<[V~r ˟UF Zī&LT652XǮE8n.HR xnϸhKeD1Vp:"iȃEV~Q<ʩ3|:6m=LU܆C+~"AY4.?W#!ȼ?דŕ}bP^1nmMXVd' UI oI'G1FSFEBtNݠAMm@}Օ~; 9hA,"#xVB42 8{'s f!戾KWli_ނf9A],LZ<(U%K-{ÒDFزz;);gV?gyN/"lT 6rUl}pL|lEׂ=ezIOk$[P p䘴kq`$ELUi%ҍ ŔsMIB<6䍲AWD:aYm*V=^h-'TCks!MO)1|1>_Zk !ՇscSI߭C6QT?--.ee7a>YN#N^:gu*i HgYZc17481c64128d1cd63ad511990b4b0d89af204308ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 % Sturm_Tarski