SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  }/ lT ]S Monomorphic_Monad:threads=4elapsed=38.196cpu=67.428gc=3.072factor=1.777zXZִF! ]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*ozk= ΖNQ<]'dRX bI,v~|? ɢ Yl9)Fhsȿ1zq}Q޷=JuvO&^KToہO 6pO 4D.ZQef, Āmu9>&.OG SJƮ.;ؘbV-_k_*CG`z"(V~[wMEWߑq&R@*~-xGkw Qb:GA ۂOq%Yl2}Q bWܻ\. %;vR0r΀uwbxR9H HƘ +SABn% H4G&Q=ifp)<i+>x1b(! 7Zr-}:[nCC f}32BÔ@0' F]t8E1. SpM9iS̍j҇ 4lQDmXKh)Ex^yv8DmQ`p2&R ;9ZGeD#lJ8+S=1?nL]3Œ!v v{DwBYnjآ$/(霤L*{䯏7gdw\}!AesMrM#]nB`-V'^1Buo(큎̂RR̲;!$~rѻT /XX,[0@[\kfxKDIף$~͓Ԇ #g1Ji-ʱMAGX~:-3D\jv躖3]nT󨦇K+Qd P׀ ~5P)FP͏xP9ɯj#E e%yp(z֙*\&N>OUoUkKCMmXk5dAgUe% *ܪ*S/s<1j7HifG|7LuU?l^n`cvR_FR*2mΆqh;ѿ"S"IpjοNf$Hrܵy ܌+gF{][`k]̚3ʮWm@EE9,z]YY}f2W`|EF\w2jzոbZ Y{u*6,,\8wuL4I3K~:V(0nf6;kIz)vWu7J?YS/5ow{+A',8t 8b H,lX&hØHONÒO?oUHt܅!㯃uQmuzD?Ћ01ExDn`?퐳XsiVHi2QEP`TDk5azWH5Ȉ":S՘l/萉(X&x7Ccl pnT# 2&RSgv'ZVZZ#M:@۽o , ȀbP-摋ט-o]TlUlĉ.^E,@"YWWsUGl0^ɬFCg:zeԷyr]^C{s.UI5,5iЙ S3-]l:l^@uΗˣ~Pk ڕqF T»AcԷ+ɚ%K׷!]L#Xu{EM;yY b#e(YCFEaL6ϥإO/=c;5O.UEbWQM8s:"DL]&g8&%\Jmd{kGU"u '?.i^i_D6LsZ H*za4^ &K-I/< K~HrPfmD%+-Z5wfR&.~^H&^mue=n_#4f6ʕ9!|7_/nHMgr_ݼ(ւ1`<&u4 r&"ö?bxrVd?e}#3:"gf)-P+ c#4 ZYiMl6 8X # cjzW=El YƎ.n<1ZSΉ|☣$kdV]笐+-CgC{ ^_Kmqk$rMsmPׇ=tĩZGڤbez[~$I/PRFfn]]+8`*. @ngﶜ}uDSzX¥٥gtv*PwTڕKe׽!a"{`ANT Pϡ 1n'w' smd8е;t ҊS6=L$똅@r:QG(bB`q ` 2ې n,YRy+_JtCs~Y)' _:A|В*B-S<l`ud 躊}26x3Q͡ǓS;KpnG A9?