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 `` d,\ ]/]HOL-Word:threads=6elapsed=9.860cpu=48.956gc=1.972factor=4.967zXZִF! a]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yfAIScP8/;0b Jrq!2~@%/awcM^Ks~[L9TMN\fx+Zr/ED8rPH~iAM@jD Aݚ_A5q\l S"j†c]C:GtQ!xHDx?r>#n+VWI3ҹl;>D!@e;@V>*Ջbo )N?\I3nVl1)fڅ u8e'D0pd֍S]?M1D sOgP]gq΀# Ak JΈ:ō.x @n.X{={\c"*9)SKV*=PͱgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AU +eMj0OB '/Ap!"zuX%'3÷F2?{W6FxE݌n(B1zf[7"@L8WCfH*-WW+l  ]^#Mm~p]i ӎJ]턴O`:ڹA,r\\"DqٹhIlBg⃤\6jx 8U-nViҠif )x\?ҰāozgJ 7,[E;vX.ZEĕfĭiG)X|L$N]]5ntUWԄgX4=gU Jpm9] UGgYZ7zXZִF! 0sg]ŗXi%@`jB^7^;0Pz$@-:kᤨ>懪 q-q89dݵLx)GNFy:;\Y$w[6\ m))p[1\z2T k~T yybn9,\Je@|IS,y-1̫WX~Wj}2؝U.;,HFErM:W ]ya͙p󒒗>tPQ׽-aCeVZ4ـaSfk^'#w? ^νP]m}C Hԧ/a0Mlߨf3{ 5sR"BS6c:I`ia/Ma*{?rQC/`E D$G0׌5x_X-_%ʏ`ۇ>U.qioh;o'LJpuF%~' IF. )X77)7 n 'ޏZս"BlXVlIrp?4 L` O+? 6sҸ')gD"{!z{![H!PQL1)wm#ůyA=lk+Bt@7i # Qeh; @ǙW.Bޠ\+WxLd>^]Cw)6`o;|gr7,vPPaI{1V؏z5(JUA:1?-i׍2|^BВhzN%$<{_زos[ʙW^jݜT$`]7J2^TV-4g5~tm@e*#KԫoEm J+f@eE_4/ ` gYZ033c95cb9767b764cfc95049b91b3570435f46c70a23064c34709125a075cd68ce8f561e647f6953 6850f216aafc89fdeddfe90aae02e1cda8df6a3648dcba3d5961f0b8a534861c596a0b9a91454c00   HOL-Word