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  M-,l S% Surprise_Paradox:threads=2elapsed=2.215cpu=3.224gc=0.000factor=1.467zXZִF! L]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B MV۝4 .IHo';%@1&:,=fd'R䮧Heh73!&ʴ26N&mb$.7qG=8 ~(2j4FyAr%QѮۮ?r ׊O: xPXM$~B6_=6:T ` {%xtGΗST gYZ7zXZִF! R]ŗXi%q)Xwo 66bZJ O, oQ?Ŭ߷&f]sި {Hs%Pj; NjJS5噑q !)0dzP OJ= +Wy⊽~ Ey.۸`pcpWBwѓ[NvUގw\1c?[9VKY.bOVd",+G; /%Vjc*xi><淎Ӿ QpooRL |ZjX#lu(rP ttl:XJ-JlI?FŢ5#v}K,iدaF#yv>|Q<:l^%$MnIgYZ1123444064778f19f416b39d92316b7194b2c412 3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e b3a61daadad711a374e06d29173cd79eb396e5c6 c2112b588c9d7c9ec9cf06ec14073f3b5ccc6c82 - Surprise_Paradox