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 22K l m/ MiniML:threads=2elapsed=12.497cpu=17.200gc=0.548factor=1.387zXZִF! C]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{W\sZ\ܳ-v6yTOMAU)lI$ /TƙY||“]wچ>l /[\[U *}eOQ)!- o\Ȥz-*)YۆH} )x'd{ް$Oz&艓 vdjOOֈ1@脞XU*($(#c:݋f+l"Ѽ&WfE0Y X_DUY?9*}.gYZ7zXZִF! C]ŗXi%}ǥfEoRB_` `EJ6` G{E 41*O|)hS7tch=_t(Q̊F[]vPعE?JiMS!zاF i%]aa"fds ɬ 9$!"(64\w3[ mF,=7AvVܜʒz7; #Դ7ߍbl7^i|<dϑrԅj49{. Y*<ǜiNQ&c>0=`US@&-.qޑ!=ԩjTd>zh.ɖggeẉ4*zsisj7SOjlMj>#n&jBd )+m> E^ENs,naf8q8@ ky`R}utU߁ͨ@(^Dʕ= Jb\?RO'E& LSm*CJ<;&l>̵>M+N{EӞf7 .(|JyW8v|Wk?`^63~Õ\9qbh߿JOL?Q/ʅ_ED4 oF cZ 8Z tCةu7 jҶrֺ5ԗaql `k@+#8] B犹2(CgYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad9 f4cf19222283aedb83233c990c85eeb4dc2b38a00ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f   MiniML