SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  a3\ ]S Descartes_Sign_Rule:threads=2elapsed=3.431cpu=5.824gc=0.128factor=1.707zXZִF! "]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vyTqpy4 a0~ DHm?hS;UL-=30kSM#.O>q|o:')zJϜ5/y)S-Q1,Bӑ!gG~ HgYZ7zXZִF! [J]ŗXiɟ}Ʌ^3rM!:iK-Iw|clGm)9E\_l< t0f\dq}YZ7zXZִF! e]ŗXi%>g!/dB~Jv%y %1eg=H Y|_Z<ŵ9.G~Y±Ǭs&0tjLу:FG:v"R*I5_N+uAxQ0j-ƇF&З;џ5~B)_7BK4|By*rUxT@!eQ ᷊"[}$uuo='6||M/bR&[ZDt\!EA#oz3lmY8(ɢg~[ȣJ:ήx6{T9䢧vAlcT౫!IsKK Jד)l>>G\(^@ƵVW ^o\sQD##|dY[Ub ljB΢&V vhq'sΞ(@Rw֍rf؍,Ce,!Teqf4Gu^&鑪7+ME2zgYZaa2198b4f6419900504d171548c5d5b382daaa9ca70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 3 Descartes_Sign_Rule