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 $$Y1 \T ] HOL-Imperative_HOL:threads=6elapsed=36.414cpu=68.056gc=2.484factor=1.877zXZִF! +h]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʁ8.g$mr}z[-:h@@3r9@A4֏TZߘ}kJ=;/K3#,U9؈qҌB& X*?AJ^ 3)Xi KIXq_ϔ^"R23m9;"TCX 9ԙb=RqWm^q8SXq^-/iiҌׂ\(RXm3ՒtT" ċnɆ# 65boď)ha"u!jlC Eӎk]lE)*o<0>-/Op:0Ё-eˊ m|ؖA/`j'X%6=$O|#P=@v8=;Em%6>eu\+9"tI*]IlɶCxb%(wʚHdxQe|I_%I3U-*|h 0"-VLa0ZWJH}*qA,wM D{|p& f,zʼuc,`հꅉNJЍp8zs4흸=V~:CO{g^ jK4"OQπVZ[/y4T&Ӭ]{rzJy?: sc xH= (8+JNASk)1n?4<@Ylcg'^0)w~$`V3H^[6Py=ɷs [Hy/i>sA <6 Ila d:{^w9Huz5\F Wy)gYZ7zXZִF! H]ŗXiɟ1nhЦx"n_8N]( eOtd>jaŬ0RK%KΥĹJ|,6R)G^bWϕ"s7:yQrjm 쥺=G1 S09^!S5THc\b^DTVffNG:2h{TWshˋװgzrXp\UzcAl5;x,+IU1CN`J9F5Břs.=*@Z!}#F@`΅ цgYZ7zXZִF! :a]ŗXi%> mfr[,7a͋)pg|yEMŦz.$SЯ0A[lx)bkS׌tkh*QWNCJ'=7ŢFtIxqe*@Ma80FuJmDVHX35.*^BbiZn2>.G^JUZ="AfQzZaKڂMr{ڸ?7HJD}/:Ro|'2w]'{}:>OzWf_:]/2/*r>W#IQ-r Z(ZgH~ElA)KdAcg)GpA1SGUC-,T~S:! ,$!'?>z "H%*| ɳ%3:x g}zf{  B f3o1C*`8ioMEAH/;_c9.>mq(P1U<0^?ݍ> o`*p楃^5_KQ>ٸz8X+{L}+6\@.NHCO4N*!@>OP?0&@_aTy MȐ9@npN`M |5y"PR% ݟ ?# 0U_0ko؋F먤_ZIgHM]0KJ7NgUGW qZr?KhOGxUʱdkV@滴# ^3L+rd\<<b*^:ȴ9pz uexw y<3(aoA5ay7_[I:PEp% yh].N y5z=̿u ^ (YތR8×xxxc1U=`UOї\uHozk*LE+[Yyax N&';?YkS6 IZَ)p _? R*;yK;#3,bڭJw$GzQ=u1EY?2rwnzxe}YQ+NE0Ξ(7t}1:v.A:'4-vRœsr{xH-K0[&=ثM)fCnnPf*H<@Xc\HEe,~Ȏhζ"q LpRCSb݄PFRVc[9^Vo霜S>_@q"N8\i,%֯hոyJ=/&*Gczp o]]O/]x<'rVc,8];f{ŗiۂth:~-iLF'|=rD y^8 M!PȺqZN2핿PM]Ε-SLNO{]aawUd |~]M-Bs_{=<3N4ǾpG*JUB3#Jx|?A