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 ''V# < ] Shivers-CFA:threads=2elapsed=29.194cpu=56.412gc=2.852factor=1.937zXZִF! ;]ŗXf1-/6vR[]u Eߑ=;V) q4?%]ghW}=d+`_ǙzWnl/ 0o<-n:虇7]eok:[<[}__4^GV ؤQo‚C2P=MH5`ut0Im!- ]ۏ+UH]% i#+jF7r[A!ޡ5jR%2x9slfL&%^ee&T>;:CtSU+ @ڛC0'&qڜ~0'n=_uq} .z.A嘷 #N]O> ypwWI'fn]@Q)]L̸RCL^1;Xl/nM Z}P?9 R@:N}.%߳M^O9X>:O!E +~-wA4 8Fѻ̈́_,UMvԤ 0Dxv$ecZ?,qd%^ҿޓ& QfvXK,ɱqLT 6ͣ{pJ{!xuCv4b=[! $˗ذ(}ٻgYZ7zXZִF! N?]ŗXiɟ1˦rnzx <@0+gMLS~9=c7ˮ ^_?ccGxicrdFQw>J8Z7~sWrk]U~_#ĬE@u8~4 7RBw1/<Ѓ=6cj h ׃w410' 31୰9e:k|5, ܦLj:nny0ufQ '.XLqIUJ;ro:~s7^'0J<|.Z.HuQgYZ7zXZִF! >]ŗXi%>grA58G RM1bλh,QlKimcu2dLK9+XO$&fdVpnidfe]Wkd;4K:"yij WZWȜ[(+AX;Nڰ|6m/|[/{^*.;MUz 50gw۶ZeIZGhrOl2IVtDDԂ6j!wx,~v0~:i02جhKd_ϴ- WWރGd^z-DJ ֟̕p\g.G^4 (|&i{88_0Jfke^HBhY`i4',o9 @gij~f}~Γ0 f]4ZK`9ӹ}0g.4Wx9W|[Q<>#TCTbEA@X΃Oאz82'}Zbd7 bE,lETt ̺9,?^ψSu =#o>~WM|nK9siFFPdQnsI|ErD"pGleeggN?VNXqJW- {ت&>~bש}z()(Tv~Og[w>Zhn/I bᠦh!rNMCFv[U"fZ235rDuۅVy .Њi)6S\\K-lx er@!E!VM'm/0I I(dPݏ'C$ĝsRxDiz"Nֲxk貍a^=oMM%Ob|}e;*1VчFNߣZ-'A6oAOUXh MmzzRf#]QxzVIUR/uo 8;+S+* #uP/;\9@2jMHjH1E q2D7ǵ0,DJ u3.?u*䭄iv wQM[#Ѯ|@RoD-Qf~~MZjDζ{-H716f δ"ҞEgM%?a̸Ry>9oq+Ӧx0@eԔr'6+ѓz_ `6u߮Q" 7.aFVVjxk(ZD=+1'H"v*Xtiy=қFӷ*홽"lDq@ѕ#8} ip d[,*B.zON#Mu oan0Og1ϙ5N:: 7wB agu'qラB }dKMՄybPi%9jd_yA@ԀBK=V1H aVzAknMDʠ1xZv$լ|&Z]1xIb=++-51,/G 3I\rYxngF~nkZ(rqu#tX}2fԾnOagYZdc65527a98098ce1e9727d5bdf68a5afbb66ae4897833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 d896252f34ed7d3b59aa30c718d9a966651423bb # Shivers-CFA