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 # $ s Rewriting_Z:threads=2elapsed=26.343cpu=47.680gc=2.100factor=1.817zXZִF! ,]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++iaza+|oW~[v/DߜU;GyKߚtrUV [S#7^jd{l)sl#ͰݱP Nu+>}MElɐk h *³Uă5-M Eh#`J8 B)  L`bJSOhT aEJPS+wQd*Ċ2Q"&!w)5c6 8$׍娯N/Hel/33tolmg,؟ j0O6ĘV> ިH;}5tQj·f`4LE -D~&.N}2L8YjdRgЎNsbOqs ImVpZgi,*U+#pղQYE :8b>!i3|FcXʊ8/Nhwh?+d?(x,[0*^/Ǎ ~ 86 x7f'UOZ;D`c\/9ФX/ytݘ(o^P1єʽ|W/:7+wMjBC̢2/=&p)Xg8~ȵy}Acz ʄP޸{#}{LP1@v'2&*hг<Ț艉Cؼ%Զ 6VabS(]Pv%eVT1Vܭ9 Mzft^s,s hK8gYZ7zXZִF! R ]ŗXi%}ωqXw2ڟg1_Je57*c}/hZYz4v"ռI~zۯם!~NLg@jd{Sl_Y55ɳ4u'[K?  ! 33P1tj6ɐU`}IoX]U&xNj7J,LXDk0@c" ,=PP߶ri,2mP5N̠Bx? ,FɳmlTrl;zT7|}q'm7IO0;46-[q[8ʝjE^RIƟWK B'nφbHse7|!)sWү L+OQ9AW)T9DO&yCnfߛ%QQ!&.W AoߐɌ-gWP| f*"h2re:F nHǘÁd=-+$ k g1rXM"9w*>.SA;{=Ĵ?' j~y /l!MBujmWJiWTgexsdhr)09u*{CNl'P٘lY:"'mc+-lt1n~8RD(ChmίX>b=fCk&.64~buD(GCi4g`r79Ő^TVFGJC܊4jpbf얋rA˓G*<4 }I6Fn^KO\(Q(Os,lCM LS?t WUQZf>$`'ZٓoΡJKAN.nr&8bfa @/ìB#?o1:l}43.KQN;|s#Թ_B 9::ӱ:Do OX~E.{ >׈!ub(;K]\"yC[ȬRŵqΉi6X u Ǿ{9_51 żSNc xTO~ n 2}j\ӂ$BLmgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 06ebe7ca50cf6dafbe6bb0448fe069a5d0f47c6f 0ceae5ad06eee8d958c860c4f897680e8782696d 0d624df132aa2e54b02fa619fa707a1b424b9830 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 383dee4bb60284cc7229af5017def9c12378879e 3d085b2f15013ab9cdd8983b82002e5b7e45d759 489cc83115622e6abec1120f6a9cb06376b51e20 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 73424ec42caffd4a8d5e271a9138c77d0cc43a99 73eec23e377618f2dc3093471b0b5d9418028105 81de4762b4e143259c5d9fb6b097811906b676c1 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87c940b52909a60807a7fe1fff397bafe6a6ce18 8b4be71e4e5c56c889cd6007fd8ac909bf7b3d1f 973d6bd96dc9037f8676681fb869d6ae83013aac ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 e0176e519be33fa7f7b452fa7709992c0dcaff940ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 279c28e6fd754a055c424f915e16ccca3ca7791c # Rewriting_Z