SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 h# dt s Rewriting_Z:threads=2elapsed=25.723cpu=46.860gc=2.148factor=1.827zXZִF! k]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`bo-sf9 Р6`x܊SOC|p@ yH8 \EIp܌JQ!!Lu: wV),RfͰF{6 dt#5׳/|M!`_ɱ#U£ENiv, P2a , F"u߄͛'5pgYZ7zXZִF! |]ŗXi%@nã'G:KpkMƢ"{:%B DD'l5\8M֨6 p#k2֘ B;N2F/ϿqxQX2Hamu5N[oU4ֺAfvލ9[ Ƴx߶W xZ}bXG^okuuwvta<ND 7˚{j\ywP#sVST`v ¤}}2|Zs!W\ob9>@Ġ`[j7աbا3/M rmAZh?)<;PB3XjhC3XEmKP㦷s:Յq_PȀ3I2,]9BLb4:G)g_@xfw%QHv<_"@_ίP+}'TQh'N1("Ngj ':zpmϑC 8]|,H gQT-Y)| U(MO:%vLub*=Y칡* ERhX$Q-Ra,0!@ 4sH"%YxtIX=L~ax6X>z*2!KaD|ӞDĶGWe>ܓ5b\Z)zAm=EYfZI,km@ ?a{"J#S='JE⏴S8};+k#RSp|nyl'B~Sj 5}!ZvөbIS8RD?Ka(9ƓM9aT#+%h@▘xO?^>6 @{=۰ɰkd=g&jb΢e3v@tf@E>_S) Q(ou=,ޝ% i!Tb&NpgqA. OH׀ms#}O8J{~X^i-y\#G0':qF_X|gʳY]הݏ؉Zva] 4 bbB>[_R Mߩ6V{޵@nnV RIIً-[񵬒x9j{Ѕ'RM U9(d}0*ˣ2X6Z{:xN 5 Fa0slͯ#ŠʧA.DeՁ^z[q75̮"}!I|W5L`2"j{YBXZs$uP>򯞕DqYSP~%rڎ+pXuHYa~!U$Aݷ(*zO*R&Jl+^.%MS_5pԴM{ҥIP I˿VC#˫qdMrggDG`95]qø]9"v`YlTr7BAa'J Z P cq29֍C$`}/wfj•bѴ[Yl4_|gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 06ebe7ca50cf6dafbe6bb0448fe069a5d0f47c6f 0ceae5ad06eee8d958c860c4f897680e8782696d 0d624df132aa2e54b02fa619fa707a1b424b9830 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 383dee4bb60284cc7229af5017def9c12378879e 3d085b2f15013ab9cdd8983b82002e5b7e45d759 489cc83115622e6abec1120f6a9cb06376b51e20 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 73424ec42caffd4a8d5e271a9138c77d0cc43a99 73eec23e377618f2dc3093471b0b5d9418028105 81de4762b4e143259c5d9fb6b097811906b676c1 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87c940b52909a60807a7fe1fff397bafe6a6ce18 8b4be71e4e5c56c889cd6007fd8ac909bf7b3d1f 973d6bd96dc9037f8676681fb869d6ae83013aac ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 e0176e519be33fa7f7b452fa7709992c0dcaff94735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 8e635c17a02cc53122354415550791d1b36de548 # Rewriting_Z