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   f $, ]/ ZF-AC:threads=2elapsed=6.469cpu=10.884gc=0.548factor=1.687zXZִF!  ]ŗXf1-W'S)b-LWtƺ}*76<@8%uZm,po;n?Ly!,l5(BB?N' Ghs-^*=aT1[\fYtvzj Tr$N7ff-'HWs;],1l ~- ELje0x$'_AHf8"",6<,d+yި?x 2TU4 a;r gYZ7zXZִF! ]ŗXiɟ98c tؠL\^Q)!C2Fbf ԸCM+"F킶\Lx""=V+xT#SmL*k S{ gYZ7zXZִF! 0P]ŗXi%>RVW+bÁyr˪p%xehTp6v0OِPgjoٝD^ c‘/c Q YKpSqK$j%fejg9̿-v}z08wqiuV-nmԹOS/y"}_ޗ^O:U32#7r06JR4#J⬋vg̤G"r|H͝sX╋L+AR#@ZxB`X(Lg՘yW<e/nDN9fntcѯ^u,: ɄX DZ,%/g?RTy[okM{+/7Uy^1TY2 g*}t6ePxjn7u)VK6`;H dѣa2Z.v&V#HϤ|*m|M 1dN\D:[t˧ vW4ЦwX0ߗ$111yT$$:+ųc !ȳ@&{̻#v늙9f+JʹajȹQJ7ˡ.}*l6 G`6R{1itШϛ"%äm/6.Al0sV nm>5dy2Itws>cX4%ȵHs[=p1tUYXkYٞr~Z d&=HfݼaquF )}kФ.m,Ssp9ʔg$ep@ E>Уt%"#NX2^'{o -` gYZe3276f28777454e158c922f524835f1aade4bae21770e7d42e284900cf7be1fa0dd3341bffb6e5a0 4f92059883dcd7cc8de7d39ff54e917ea20c0599  ZF-AC