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 e Lt  IOA:threads=6elapsed=7.329cpu=30.024gc=0.892factor=4.107zXZִF! ]ŗXf1-qN50^ .nEށܱsO.($.hg/[-]/hz{+ݾF"H!%]УB4ίe\(Evzrgv+\FpH3-}AW/]5ɮ7R<4Ah_2sMr]tu񅣪:L :Rׂk13xP( GK{i.fR(ș6SuXEëp@{r$coj8`(SN*]44BJL7Gf)0M;pT,_y^wt̪lY얶k D4G,pV`)=UCۇ<տąo7yq,M@0^L8zFPЍЏb,\u-",M˾`t!`."B~S!"Rݪ/a:qvW#GͪMGijXTRgYZ7zXZִF! %r]ŗXi%CȦ?7$ n)׷% 0dc/7a te6-w懀eQ:BY~'@R',: 4srm{T paN B-T{OFQo0cxfQ )dWLթlkF 1S0A.Hr6*[ָ|uYI@KПOق>-|`jj4O <-@[@N+ VK~N0-MMWiխ0 "Qe|&" sZ9 Íz"9o:,e Q1znzf2ƈO!#nzhhz^ztm= ̌\we&_fgP,