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   o3l< SS Descartes_Sign_Rule:threads=2elapsed=2.792cpu=4.808gc=0.088factor=1.727zXZִF! ]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vyNob*J-]ލZ<5um}j1А.!NkJ H_|KcYP=ނ).3J Uq0,Y%K/0qitgYZ7zXZִF! O]ŗXi%6ב 7Kf52!ib@vH9%ZWBE& _Im^._~2]|kZfK)֢n#!%XNXj$\0HsYj#E7+J\XMlpm:ߵ<~~.Y4Wf8.;h_B"NqQ|˷HP>JN^۸A:' '4R=. РiH0/WH H\>[G1tAmoQ=;)+XھOECt}B=6,HVjշEǡ fqUmJMT0$W Dqy(c7C݁g-*jp ڧRqƐ>-ۊl|A;nxٔ˥yPZ=Ҭn}ŢǍ,%DznvۧƸ>0h ka+8, Қ]̩XteCw)ŕS^h? pX0&n.`gYZ19d7eb25cce05ef5e3a9cabcb6442083d3b4d7fb 72cc4942cce77282ce20b0d84008390339bce3b9 b0a80f21b422bcacfce2958e094d48cd6356980c c1177b04cfd3a1fdf2f7e7eef357c67784aa763e238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 662e2c93275b3f9c97faea279c1f2e9b30a29203 3 Descartes_Sign_Rule