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  ` `5Ld w ArrowImpossibilityGS:threads=2elapsed=3.652cpu=7.156gc=0.396factor=1.967zXZִF! a]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95*rC)o[P~1:АSPOkXtSj)VCNZu!ٺ)%L[xpӥf>%|h$87ڃwr7b͟}`G`\̆a|)@ȷHXeΤ53wMb;y j(gYZ7zXZִF! l]ŗXi%6y4F%W{D0a6AX 04v>NDH?ԞN!&h4UuvBȪDh׈-pja"O |#5K =x3^HB s;[sLƒ?Ko>Da|FL,1辢EA)pE# x(ƿ֮:E0&WU&nI 0^.*4jX<؏ ZlgEyΘ8yozR Q#'q^RErZٓZ쟠2xˏ>*ЈHƐ%X SyHgd|ڗ+Q@P&߷G뛬Eu}vS W:1" cckȇ79iL1'J#6xp?%o2,V3iK,&MXsuNfAx1:tusWA/xmm^*BR%I'ki*g[q(S98X.]Ocs-a63 X:ͅh`@[kq+3;WgYZ1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb88554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a 5 ArrowImpossibilityGS