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  td ]/]HOL-Word:threads=2elapsed=21.907cpu=40.196gc=1.644factor=1.837zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yݦ)]yf8Y]+35qZjxꃛ8ZO nb=}-럒ԋ$O\Me/sҖ"1rg8RV$QOuΞ\\{ x )|/l+AE1R⼔Ȧ[WR5Wl)Q]Jt3cCbtٽrj ~Q5pԪpO[~5)ώqFU( bǦCCQcZ\r[^% JBUmuG@7aNʘ4k"RKʱ);7!iYEi&OwAķN/2a]3)Y#m q6 |qXV!=Rm #w3,Cf|W<[vi`ɞt} $Eg1ְnŨ3yb_dq"R |X}FfrRa0cgZseb gsC0i5Y_&)*pgsk<@lcA%XH暴F"ކ36Ф6C=')U+W Sl* QgYZ7zXZִF! )]ŗXi%>gW 11T-=Js$ϕ \NeCLT6l4ס6,) oz6M$Je3h=LH(ĝBOSǒ&c ÏKCHQYrQKpH%#l_r6'1;hRk޹~3eg9q -$t[ByowIMcdDy s!ܒ_"z,N? łIZbC?[m**75} zGmVQC$*5$2ᅷIMu*t #z򮢺(ƃ//oBy..N֡y w:ɝ Sq)M@-u?Y#pʥȈ1N s3e;;#Ѡ]ޓbp5a(qJ\9f, [/ T~Hjx)"~xٴa[r:f=yƝrlgF(8ܠeT"?K {`XKN@j$N, / `zzuUpnWd}?:Y4iTa3%h{+ŮGuxo {!y=OT!oR aҡqs̛lt\CFZ:-I򉣍:K 5 -~+uÇJl̾bNϩ')zF({]@1F?#2f_S l!%m]8qfXb@f b>Q&'T43Жf F%^xÊ {*IqxNwLVi̒`N5yJ3(.C߅\fHBM^)LjخcLJ}Y.58Ey Q Or)7+9sV._gz$?7#vpH΍!uP\9\.,&jIZ[GzuD?j%h?ɣX؜蠢 S 7{FoP,9oh gq -1Ѱfwp(yI4:ЍRѸ{B\N)NUN[TR}4g!xyP41ykcAxaf7BBε_.6fW\mrV%9 #&JUkGuvxl\UNf+Z`_6D3pE'5#˚Ϣy3ԧ.7{ A?lcy۞\Jz0gԤծz#,m2VNlb6H1dc8e߆Uw;>o~Ib@IfgF hUngwh…P/\3ܵd#aի_g 7>SD`=xY'oKW0G Qim\`/wzңΙ1X(;"UT^Rgz *tRf G`N0r[Oz8ӱ s