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 ~ ,T ]]]ZF:threads=6elapsed=13.822cpu=49.696gc=5.996factor=3.607zXZִF! E]ŗXf1-) enȈA$jB80l,v8-qFN}z1٥G_ckp)oR tsP"!:,~'Ro0K*$ueUQBboHn~l[>Aq>ᕻd0ksc杔~ؙ |;}_#ߝۯ*,5~N65j49$QwK> 84Zn,*YbD`;wh݋GN'_ږ d(XNSq~*5)I,@()X0ʊnJ ';kxLa.Ձ `X1oc.c}- A.# r}q[ףg&ŌŬΐ/K/z'9Gwc ӄĩ3?Xn1?Sa<ьC~~p!zfلgr 'ߘBsŏ YFԍYN$&07`@c6CN݌=IZyq2$?"ƪ|Us ݥOo#{Cj_i*zUdAX{g?YQzfARHm-_BOّj[VQLSl=#n;;?|=Bck>trF9~*)Ι rPܓZt!ٶ S4uDӈgߘ%U)1otSuTpvȥ8h( rji3ogk֔R ̂Q:rl$j-,eVHVy:UKi{_kgЗ+&+Ұ|%jɺE0* ]gYZ7zXZִF! ?a]ŗXi%@fcvibml"}~or[Yo -y*vyn)yE͚OH*'+#ձw -o 3Lx C(o B8>Xi@'CYEa]fPhgz >ZJm2wʹb2ojEyK7!ĘBэe mbKי\3%<8 XSlLV)&x\t;t۝ m wJuofç4*kt0' O(]n]O(d5&g zMvͥ8)n)YḦ́<G{F<<9ķ>SoOE.>*`å(hm kf9-Jc:g$Riw (&q>_"c6޳*-óTTˉ5 ˁN*R_L!-ځ9ZFѥ