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 { $l ] pGCL:threads=2elapsed=35.725cpu=68.440gc=2.240factor=1.927zXZִF! v]ŗXf1-/6vR]u6bk;_ؗjT;>ro֑5Xvr=YC5]sṥ,?(~f<oN~W  ?!A0%++̰S(Egˠ_I%k߽n;#켵P2?[7xuP0R!~#= 4ClƗ$~sv0?aZ~W.M9^@€#xgǥJ$P{0iqܪ)}‡N[/!Q߮ZncUjEz~##od ݎ#DTpq^Z-F  pGCL  ialQ.|¬~fc-PCAB=mR{?0o^!nOz;aBBFD BfT5x&zTٵC)2C OКB% vaRC;=).;he7hM E6:bdlnnPd(Z~ᆵgPkM,?O1ʻAQ``1:yrzS ^u68a* 9Aנʜ6 7CЌ}c, /i%ϔ!|b)"AӚ}>v=C)h_j<6[#`;MK"Ggm-?GܪkA=9+pH.>0+lZ}RX+U7"-<ү,=m:0ENJ 5 pCM;MdX%SS>du## @"{ C]CE =cm} g~\yfpR;m#n@{oVv#%ܛ kHH_cHXcDSm?<BspOgYZ7zXZִF! L]ŗXiɟ: e=o݆$rH6rF;!7@3V^=-{D> @y*;-hRǧ1p-1׿wbQu"6BRBn߂N"v+_{ނBp.۷]px|BJX✻Jb1 ƱC{}"E&bbx6Teۇn@oyq p>y=mhBZhmpn`݈ Yة?Ԃe!J Qr^V4@07 CI-&Q-.2I}V'?2Te]qICc`b}IE<2 tpr^y/i9O4go92'&{{]aE->b2ʭ &˧htR]oht>YdDȥV'Hs#]sN!9RXL:] vsn.:/f$Ǎs}bC7)ʧ\Kq:1E5LPúWZ&D8<]E)WRܿb=:Hk9)(!J;2F M_-&20AW`.QKd.ઁh-Tyޞߖh)1OLku'xx_xP&S!U[nh&f"En/zgbdObkiN?T-B-8̱ܦ<0~Gȟlc# }Z f;wE38P 5ծmSiL?5wd2.gڵ38b~zNgD˙S|Ss L 僞.xy,OC6-NxP/,{z47?c"rTcPp2bw$SFCBs~Ldtޞ5VսĄm7^fC{n0 52uoAOڙu}Kbu)09gcné|Pd8.ӝX{ %\]sK{2X+$LL\ե'co0,OO&/)e賱.YG/]}V@w-^pN'7Z-=YEZ51cg/S>cqgnKV(!SZޭnײ2#Vp@KwwiF"oIk/\%m+SVu10 XU, ӻSP?_Y#/=I8S$&/5~gZ8Ǿ J@;5'i{ 3h|ƞ"^fz`SEk^8NR$S\\o/f@H8YE&<T?OTYgaLQXan}:&tbUUIwylS8<OI[XjshxʭRL/EA_H=aсmɇυjS`%}P+2KmRynyey̐шg[_1乹΀-vZgKRz$3˜e9q+gwi+AQM1PK `Iܮ(; rpP4V]ǧQW%5ex(7>*s@:JoعV p|l[+q x/믂ְKYM8IQMpܡ^ng0 U!O,qQ&BJ%*cJ@+tOm Z/~̅QA1T@RF/N -xca U#Ru+ @r*n0OC 3&DA3^qeWj9l O rV} 8KwWy>4]^YXv4炚ŷ3Aϙ4SߵTDk=hp;QoǂqQrdo'ұgYZc3ff0d35552ba4d7d50ce7785889ac116ba38605665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee b16ee08ebfca5967a571197bd3aa95bb88e6c232