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  k3D\ SS Descartes_Sign_Rule:threads=2elapsed=2.726cpu=4.908gc=0.160factor=1.807zXZִF! ]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vy˵{v g9b1Ƅ}%IP?kKz E Փ}رE?(!|鞊+(KNy@=7;aGgK'9nJl:; . ˓iFv2 pXPF\W~E{IV{W |sǂmL]-,(&;%"J{' B# KhKZwfn.S#4nqm .1)= c~vWNR91|SMw)GHǓqU evR@+I)RxBj3zt uһ\FGL){\ 1 6 ʉԕgĩ4P܉ pA=]&5(}gYZ7zXZִF! F(]ŗXi% NJ֠s'5lNK$Fx,B51bf3\$ [FH"=x}"DU4oR$]ӞQꋫN4O%Aͷל倝$Eks $-iz2Ӥe_Ԅ$-ɦ,oKss(s];OP[[C1+\3zn']wjY2T:sLS8`e -/[ eC(#cT9;8͗+KޝdJfEW|0ǝ\$2{4ˑif$$_o>|/WBɯZ u֮-5*ik'j  wr=ӳZ-jRgZK*MND,%5 CD ,HQn#RU ͒<:%IDZx78(+gNy2(`/RO Fy>?aZS$3*/1eD^tTofHx1NkP];ˢjp G.egYZ19d7eb25cce05ef5e3a9cabcb6442083d3b4d7fb 5cb3670927430e83609193d63018786d130d05ba 72cc4942cce77282ce20b0d84008390339bce3b9 b0a80f21b422bcacfce2958e094d48cd6356980c728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b 3 Descartes_Sign_Rule