SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  H H53| ]S Descartes_Sign_Rule:threads=4elapsed=1.738cpu=5.776gc=0.084factor=3.327zXZִF! ]ŗXf[&*X!,79 ̐48V&9lN1(m`"yoF x*gYZ7zXZִF! [J]ŗXiɟ}Ʌ^3rM!:iK-Iw|}A–GPS5sC:lR)uft d`f\dq}YZ7zXZִF! o]ŗXi%L 0VvGj`uYK$;RNJhϥGZ n6TG̤oEIB6KlkUʍڋj|"n>Lu J$%A%y-:^h>vE?".m|@8\.:2̶Gá{kɐϼPKh`[gjHYKa ON<6Rl' Kv%Hb}hh7$E]NK LwB":ݛ4?|BݳgF;bզHZ'#Cx&RPܰh?S=>G"x>V] c~#:3oa-H5XEqݓ}) d*ED$2sӶ҄Sz}2Cd0b]RH~WL}d|Ϧ#,:~,<8QPֶN?IE{j&7Q@r6a:0i7?_wȚ.ѨvXT'k+@a=[:iUbX83 y:nH$ȽׁW.aO(Ћ5ߎ)0ޫh"Vr*mԽT>O.}EXF>7j?US=ܠPkFGVNf>֟iṋDA%CX&u'AsE+a՝ ^B|"$<jw-gYZ31ac04f1f3f8724b08c5f1bd7ed64dda6b46a56fd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b c7a0a4539cbc380eb066dd96bc0c5c4425968ead 3 Descartes_Sign_Rule