SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info | < w/ HOL-Unix:threads=2elapsed=6.590cpu=12.376gc=0.560factor=1.887zXZִF! #]ŗXf1-q恈>HAHIq"”a;E HvGl cJC;%.TgblLwe/n_1q)? D]1wda@Jcɔ>q   HOL-Unixn]]oY`@,K kz $P+8,/UVLo#j9 ) MTO[ӘT*]Df+"Xa2mp!-1#ĤȘ=,p5:"r:l#4QӢUۙpS(Zx5zsNn/֜.6- =0NgDXO[=v6q9>i4-k]z!7Ÿ(9úba]6=%jޜ]l-i@:p~p{3<'ibʦѓNZxBT)M$}Ɋ[(/|:7BsQw![/Pؚ#~쨞̑9V*4PNFg]{C֕߿ݤa*j"Y+7V8ΥۧbRMQ=|0-n=IRBB\(2F^Kq `|V+Rcԇua膱t3n#ITU6JX+t\w޵#$jY ~Gk:R%35ƴP.:;f9"-!:_n0v޼PinW 5j9'P/ IZ:fr'CRläõHl'D2@СT/D < ֌0&/ŨFv]\ cz#$ ɱt6ʩVVi6qd{IrFO? AȈȸGVigYZ7zXZִF! ']ŗXi%CkY>&GQMg^w$x)ЧdVs`$1jld/U-u%K܄5N$qt"ySGA'{BO\4P,rK!T.8M @҈,iuʚp勎QDꛆ#˷#l *+ 4#x%+K޽QԱks|s,>kŲG! ]0LB#2 0T*l$wdFjzjkۨޭtn}~7؀g9L5'cG(k]lr-eLOF)v}5܀W6FO#MÈ?0e wԽ.[jɖм´ͧX֖X#a2hFN%II> c p \6K`Fx&2.1sqb-ZxѴPjy"@ko4:SoVw-2EG&l)LIDiJ2lIVEw_@=|L/ eI"<_eSZl>(ZPRޙUsTיF g:(2<//)XQzj#uQj yy^kD'ȂUD (aIK'Y_!y9jTwA%ӟkeYY.WXOL)gYZ3fe5941934893b5422165e490a489238302826c5 45f3aa0b751c57da1400acec441fd85b51639ad8 a7fbfa86d7a8cc469388fae396b1be315eb3603f aa408b872636f21e49cc2cfbc24ef0d8138861e6 e080eb03356d463261d6541f2e2a693c31be6d66 e28c86ac4b7163e702238f89b4ab3f6326b785558c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed