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 X# Dt s Rewriting_Z:threads=2elapsed=27.099cpu=47.848gc=2.024factor=1.777zXZִF! []ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*`! ΍|:R=v `6ly4_+ek9Љ_ٙyI\D,@8݇9W/]U~8Xmz1$ҫ3WA<޵ (Ivm$Kё 8r(;.{}үd8=F2[A+Dž:2J!~;c#7;ໄ :޳r@&9|4: pYa^pS,2tmQ2ɾY;ӹw^ϳffzAA ?θzVq&pgYHԵ@HȇG U5gYZ7zXZִF! t]ŗXi%6wB-6He 5Ek){uYLOԞ._3>)sH|3 uPT 0\s fMk.;~:1BHAO1uG$utޭu8Hk`RBQIJ7T$2f2ȧ_O#hU\#g@+ta"|D)c$6խ_WR:%n&)hPDmIhWCy'S4M.bnj3c88( wΒ'MX_-ԏ:+of:2ǰ _:+#uJ}3YHK3wN_x;M;D/S{Kcy.9VЈzrj("o'ɷɓjB,qa2OݍLqXUs~~8rJ*TJtƻg[ % ALԒt úi}֫ɐNkNsFM|ekQ-ѽ8RƠt팛ti3\|FѤ~nB-6pۢ:`Qx.3VsMV宑I.Ԏ{l(͒@Yũ2EM]FchM-U &hG w=+Wf\BF`H,cS^8﴾bHko][C JEv*F𭩺 41v۪Rcu8rWҐ$ز'RrP`" omRc>na4M6 MU\qclhgc*U 9*n_#Ug9i$PAJGҘsf%!*c]֋*Šf"N~h^I'7 (&GB47Lg iET֩\r`UPbC:=>lڛΗGF ;_ca$|24@d]vIG~5q+Ep.~'Ծbnyi] P %Ouf ڢ`Id=yFu0in 2#30n-" bvk is5-Z!-- vZcH8K?ϿʆqBEź_EұFm_ UWg֍yU_i=iw#ѶҌiSŵfo, uŭ^8'tɒx94AĈ-oŕ0ꨃ "`5Z Y<<:ϛ( 2 ڿ} 5p)P]`ZbWƯ;)Ucy +28)FI=#<ȬWʡOY}CdeN>@O/߂ {u};tztc¸=ǘcX_S<"Hd::kq5I VOt, $G-lh7G#64ue.yJ2Swޫ"(^`Fq pkdl/G>W`W"]Z團wLS3ֳEQVԘoJ:}fc r}L똞SIjy3\($w|*3ȆM2Ja'Bފ$qzX3ME֓ma;Q%[7I,tM}s":fAi{t+C K : ̹`U2*Ge8oˍ6Qޥ%⹥^|c<3ɎBjc~6Y F4l@GG&X N> ݢ=~;c֫k3S9]y?3vgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 06ebe7ca50cf6dafbe6bb0448fe069a5d0f47c6f 0ceae5ad06eee8d958c860c4f897680e8782696d 0d624df132aa2e54b02fa619fa707a1b424b9830 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 383dee4bb60284cc7229af5017def9c12378879e 3d085b2f15013ab9cdd8983b82002e5b7e45d759 489cc83115622e6abec1120f6a9cb06376b51e20 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 73424ec42caffd4a8d5e271a9138c77d0cc43a99 73eec23e377618f2dc3093471b0b5d9418028105 81de4762b4e143259c5d9fb6b097811906b676c1 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87c940b52909a60807a7fe1fff397bafe6a6ce18 8b4be71e4e5c56c889cd6007fd8ac909bf7b3d1f 973d6bd96dc9037f8676681fb869d6ae83013aac ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 e0176e519be33fa7f7b452fa7709992c0dcaff94554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 4711bb9f821185b1f3cfab31ccea7f81fee76858 # Rewriting_Z