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  c3| SS Descartes_Sign_Rule:threads=2elapsed=2.733cpu=4.860gc=0.180factor=1.787zXZִF! g]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vyY9G wzk}Im[:_p{p\荒cTgcjyM1#\I&KMG[*&^Lu[X4R#sеI `k#w^y3 oR N&'Ψ$WtBNNi #&obWNmM7\ս?eЬJ0{zQ.,C} ;V6~?L0jIހ6[fV|}@ʤ}*(~QI?CZUOj;#Pt 584+*?A߈ˈqVnPϯ:Uݘ*gRIߢ4؈"C~0>:DAkL]}OZ4KN@ "m *Sܤ>$5Wnj_0H0YN'h^`wɒ%~xjn7^EW CF|ɞ剄 ~-/7Yԥ ٢G cyIh Z;ɀA; axV Tϥtn\)L`yKߣ0ٔBapއҵȸI,5J w5d IµCi^*))'Ƃ;[HiΡEѿcQWCmƫ~LVwle$/[vߗ*QÇ]N'8|l3*ūlW˿@Y1]EnJۥlar^x@N0:9pN*WK2ftr3cAֆCMFRCBvnmKz<}.ngYZ19d7eb25cce05ef5e3a9cabcb6442083d3b4d7fb 5cb3670927430e83609193d63018786d130d05ba 72cc4942cce77282ce20b0d84008390339bce3b9 b0a80f21b422bcacfce2958e094d48cd6356980cc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 26a337b48b8c63fd275ea93a777a3e7a3401e2e1 3 Descartes_Sign_Rule