SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info cc!\ / List-Index:threads=2elapsed=2.319cpu=4.504gc=0.064factor=1.947zXZִF! x]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' o^G1GEAl;Fg>CU۲֋kG\Rt!<}JJr"$>ڊ ",p,ؓ-OBBh'c|R\=)IXUVV&Wmޒ|#G-L ]@9+0+Xϔb3$(P\vS-h<9dMC(^  ! List-IndexGf!61LKw]KH5 Jv! WCkR6| ,SV`B̈!K۵@9J V-uduB9m`!V+p>v ^LutQ<޺fe@v WrTVl62aS@O | P*>.9P6-#H&֗$gYZ7zXZִF! ]ŗXi% -4 ǩG??ɬՙ1DMafׂ#];,+jwnűƢGOd2 D[dBp~Ly~C`lD9Q;im]2(W8J2U0tuA+'Qgȴ}Th>w[0_}R Bed >@ZH;46Fco /h!$&b54? [=Mc,VCb%+{"7Cxs =7tXRRHQoPz_$JI{VϜp>h]/AbnҴ\X!ś$&dZJj>3֏Xi^?Df,`M?Y E 9n^<;tg4K"dBlj2KPj廀°tFpAtoo 6!‹sUzpCځFP1{u~v;-e)zRݱgYZ1c7c9d56d0ed3378328ea8e8337b2f93f9bfd51f aa8081da44f277d5ddd7f6b923726c65686f8918 b1ef7a3ec85404c96c4b02989c93710eb0f9d36370d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9