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   w3\\ SS Descartes_Sign_Rule:threads=2elapsed=2.715cpu=4.696gc=0.140factor=1.737zXZִF! l]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vyqY1ӟwH,K9.`E_v2׼sT'$+* ]I"@2`)KqAk tIgYZ7zXZִF! F']ŗXi%6y4J/) R[ LD?r2n+D[|dOZRJG2_%,.vxP2Q~{>b%i=~I: H/,>y1h1%}OQ1 c9;(FyXAe#s86X1?O4;sd!,bd(I#5;/< &E }'wٺ|)I7.@d[sM؅M[dZSk]!Y@>\L0R !k / he7::',) ,| (0xA #F lU'gHJA)"ƐHe(_QE%Ƒ(AQ6ͿW+MlyuJjEqA[Hqa.E]1\rP>OE*ő*UcD/(!.z9Z_+Wdas +A7^/a .RxgYZ19d7eb25cce05ef5e3a9cabcb6442083d3b4d7fb 5cb3670927430e83609193d63018786d130d05ba 72cc4942cce77282ce20b0d84008390339bce3b9 b0a80f21b422bcacfce2958e094d48cd6356980c554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 3 Descartes_Sign_Rule