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 SD %/ GenClock:threads=2elapsed=3.629cpu=6.852gc=0.068factor=1.897zXZִF! $]ŗXf1-/6vRZwE}%X:!:7^ er. .? SAsǞ윈Î`~"4{ 0r^"իRѽ[.S!:HYt-ޭ-miVo m N]`S+6isa wYnrl#pVT31;h^yB"J̉CiŪ /ڠLI@UEx}H-Spumj1҄dQN*8ʀBM Џfn/jB6Xזޖ"NaH|0| ҳ |y vzGavI`궼m-~0~3=&VsVy_ { =+c9h6rq"–4w|~܉t Tvu$HeL7 hq{Rt[Ҹc̉xt7ZVpޣ몛18[3`ϙ{8EhRRpCWD[ Bc^%%ht՟xIBO9^T4IMgYZ7zXZִF! ]ŗXi%n85 ?NHhԽfƲ12 zk7+ՑPMa~0eM=]R(Pm>U.Y79e4 2mBs1 ѦL@ 21]]bpEB'.o<{ռ!uUM^@u?#.|ѵaxKa`GgAdHe}]UXi5#`bAB8˧F(/?{ dd@'ie/FGB-||"Fq-;˙Us6VY %Dsc,X{N'Ox /q0,rax-`nKFP(\($Qoi7C>'oHB&uU;0odV ee06'-f 8kB7D+%olnkO;І< qB ET'Y (]E׃clA`*^nP륝Y~TzY`9h, hQ~z&4HM'2&Zp2~`9ziz^a9#xr7髝⧢t=9xJo&CՎO.uė]QqK*4?%ݷ14R`;4|̌8&q&\pq;Tq3MgYZ4ef7d654a44abde1d46de49c39e6305306e52f24 9213ee6f5cac6d71b992af5787ec0ab2f83f8546 a9c34ab35a5020d1af651bbad0cff1276d146202 aa5c3011edce68a6909f1253d65a6858e3d309bf d3eb74f4fb9591f2104a22ce418e133fce22f03fc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803   GenClock