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 # t s Rewriting_Z:threads=2elapsed=26.542cpu=47.308gc=2.164factor=1.787zXZִF! C]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DN𑢂|;C$]^)V0vjx K$}ED>a7J-y@)I߭5A3$>+YT))GMny'%;:(d-, q9; w=eUΥ1uj]`/wSE=VF>:f! m t~721|/ D!mpj̱۝77KWFw}t&[/TҾ*grҡ>W1g؏k]7O#$ɗPmQMZJiΆP!e5x-.}eǝ|@ϟNW4=џ1Q"~g'T;E^/KWǞ $?;=o\h$334.`9frGuP,DŽ?.h؟**@f !1aKJ R+k#kHj5wMN,a3-zYⰈXJ U]es8#M(=U*~V0"1+a01x(wk@ЙM~r"w3A:N2'Od,]0Xv49qr3RIe雘(P4zIf mk+ĥm5;fE˹-tQhy;bzgQx8eHӹ*݆mX)8ep= Ev/I#N ^ s4IyS)ҦV;bMX'ƉeBTd h P^p#Oho(|r5xE&RY,%kyziR bD\_iKZ6cmEa.}oncoMKZ"&SKxzp`ZgQ &ޯܖ|ws@_|ltȫІ>}{^޻Os{U㌸񢖄VXx m-.Oa(Nf$K(^(TJHѼqZԼeg_ܥGQ2];52_7_Nd]u z٩݉Cj|,^?1 Đ+|*u@$q Z4`8nf"G_1 Q P]=//#7 ۂ"gYZ063494f3285281728bea47ca6e498c7d71eda871 06449ffa42e3ad9928207f59223e44cf25b2ee37 09b8453462c4a144321782c9569465aea2c2b189 0d624df132aa2e54b02fa619fa707a1b424b9830 19e2cf0910b7071efb7af8472164cf296f5e5ce5 1fa2bf53058b66f75ed81fb2e1dbc95983a74e19 383dee4bb60284cc7229af5017def9c12378879e 3d085b2f15013ab9cdd8983b82002e5b7e45d759 3da88fae732334093df9b045ddc474adef68e4a8 3f397fe13f79f49519626b00201b8a6d2d263070 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 70c61574c7dd73496cf4ae3505ccf491f4786514 73eec23e377618f2dc3093471b0b5d9418028105 81de4762b4e143259c5d9fb6b097811906b676c1 824ffdd9ada10c2f424ff25f9c7b62a127a40fd5 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 e0176e519be33fa7f7b452fa7709992c0dcaff94f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 6f515370fe870a5e10b339d06446f0c7da17db38 # Rewriting_Z