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 ==@3 4 }/ Partial_Function_MR:threads=2elapsed=18.125cpu=26.220gc=1.296factor=1.457zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA:=)&Op>*І5 HDyhUXs/4<$,rx0Nq8Ze2'˸Ԏ}yRZmooo+p-Ka4l4ƞ/ WVtdh-xb @tD f 0LcZ"bRU@V^-`/h6'YxU7g~l +"PQ~Upj*t4#@^k:ٱ'2qExƸ[fe9zezn`Jsb!ht:J(sxh<:{LlWGP|]Xvh@A:nVH9@-5n,F&7<9FC￿P? ~YoU`-`aT*(藵ρRw&]uUB>K1x,{>V YίYG>?\OB,&w8~IYR CP6X0AӀܟ/VtLmcَ}u$3Ǘ]o>>BTXmaA$gA8UjW ',*ԙ)ӌm"\Jr(<= Fa",/%Ѐf1HlgD䁈T^P)noʙ5E(M/aT/3 %x_MoBUAgx.~yc&3tR]XI t: *@oxs`ۭS5ԎOUJrS8]! ػ1:|gYZ102a7defa8ee89b83c6bda0f09e3868cc735f8ad 11e3d63edaae207e5e2a56f61a02be1d8fc71098 185b62c9a47bec524007ec7a2225b16a8f4b9349 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 228567b730aff0977dc236c9d7d51c49baf7082f 3853af791f5f3b128ebb7fad862b717f7ee36c26 3997ad1247c599ff5ca5a09326a165d755ba9b8b 5117119a178eac69d137fb85243808da2d667eaf 69b4d87e9cab0b856337e17afce32c08395ac7ff 7bb2894bf6b2b1879e224f67e577c429b34466a5 810cde01cbdd46a5210f3e4ed0c5fe3648e8ee15 932ccdfc9d02fab8e2ae87e0e0df74e456c55959 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 c9a7834754ca020e75afb9d98e309c88e75bfb0a cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c f9ad8b0e4dc237bddb1a7187abcb79226fec1f90238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c 3 Partial_Function_MR