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 u T$$ ]/]HOL-Word:threads=6elapsed=9.970cpu=48.832gc=2.096factor=4.907zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yˆĤ3Fz/G#8c-]@wun&DD JeT]!1uѹ].4:9F=,g9y:cՕ=|{xF;D3à$(VX\s8J ~̋Xo0 p66[TIc-.Alsq yG}p6xU7Q,\ E^iȃxg?x{C~?gmpC=|ݕ *[WL޸h<DBilW.nFNN_7 +r\2:t-Jۛ [+\r Lп wج%I>}6ѝ=DQ:yw* A0q1ohǒi_q탫`-W.JZ:HseU B{ʞg~N v9HP`!o~o %󪎥V? 򶑮$RetHqIwŧe"N56ߺ6o-22ͱgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.ATT3$q ]5bJ) pzƹK0zE =wWVI^*)L͠Ў}*ekHgN~7I;t/ڍ,8?ӫox:#HYG0?d]pZql`M&v؈ͤ\, } dV=zzo^M>Bw S$!:6JB F4ܑ@##[A`CmarɄbVxA~&2mӯE?u/tSZg0ˢSkCCB d \q+U#U S|-r|z50rT% ґ 6gYZ7zXZִF! 0{J]ŗXi%@h  ~9ѻ=N5ПuO0^q!+nQ6q&j,Sټib}tH6cf|unȦBz`y9rX LFy[nobCb~Qh:ODIpEݗ99 -#slKI rń tI( uiԮ 2jhIr3>CθRFZd /$P4YҌ~ @e}6srXPxRm2Gf^ogsI4uU˱KV'fܶr'\d Շ'\iW$jd##Qw( #GMo؎&tv̴/0+>fII~piE?C%p]캖YF]g,+/'Y֪Ipԇv-B -NjJ\Bcw|HT违[b V`$%tiM{O"'2,] @>٫Qj|cV}sк f"V>NS 75/V_F43Dba`½j,zE!A((ж[snJ)NyI^XrIl)KS2/'!qBGI~舉.=]t<q>XNpw۞|e: