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 h7 || / Transitive-Closure-II:threads=2elapsed=13.654cpu=22.544gc=1.000factor=1.657zXZִF! 2]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y̷G'="×]$gZ@ Cu\2kߧ\Z_Fr$ J/0@NJL=[3*r1Z=(c@FġLK+d ~i*{As! ZU/k΃ \(aVoVɡ„#:j0{5Z\|,ov*yu:v=!|RF#P^Szp0BABnmZ SZWvle*%X%$phn(Yɱs$5-q|ٶ۞g9z7ĞyaڋSLNFZQPnGM[ܚ'}48!}xOEg(ªcICS7- spFR){4BQ\h6kG ]Ac!˫f zF]P5ЭgYZ7zXZִF! Hx]ŗXi% ^8+B@}^DC\I6tmPhURGI7YP/"[-,<ڲB\̀Kp$zJd-u/~^{ E1"BHaavͻ< bӀ`>oEJ2x;6[|Az]Bk.++(.Y7;:@1H[g$u.T3kR Qc~<ԵJǦQ^s$]Dqpngp%K`w+STD=0!|1dGxRϺKf{$PzıtO lhoP C[? a bW$X[*,M>d9ST|dbg_ IdS) %5hYޔLlE9~@!:A@@12:6w'ꐅ&,B1a35-~" o޸t,7VCD`_ k^!ymCA*va’E?8a2b9Cxvx2/5ć0&*ɛd>UDS6vjIh[3ݣ0yuP5+X+<] )%FOâ"(E1A.9c2OS,1 b!~q/qo/b'jU'8[Z7KJ\ӛ~_3 inhR/6p2]~$X&K0Zay0^{ӵ] "+85k#\t*]0;r%IM!Z5B\ߣtЮ=D&? Eh ~ӌ dU D# )sF:|$O 6d^Y cezRgr%r1#-:ŧ |6dh3&|uPm EN@$k * i7R?+*=|]'ʬlГ=V#(3 q`W2U&Wṣ .0KNZ@,SFga0lեFzM敃WrC 2P&Áh>-!7Ԕ" oKgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 81de4762b4e143259c5d9fb6b097811906b676c1 84423e11b6d52228b0f687765f7ba7a489cbaf53 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 ec92008245efcc8529cac7bd0a7e407a8d923d73735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 7 Transitive-Closure-II