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 V/ <$ / Dict_Construction:threads=2elapsed=35.055cpu=50.044gc=3.824factor=1.437zXZִF! U]ŗXf1-q恈͐7ӺVC.&@s5ή04Y9L]EZ "ty\,}5nȘxΥ'@eC7f`Yi݋jŸ"Pˉ`ȏ˷HxI0%E`oEmq]PqO,k)+u*RHk#guic+]1X߱b P:䈭9S|M\.k{ ہ v),M۝%ԋT_s7(^l 풞$>fR(` ߎ{ɧ:ЇC P^HP僚8$1]{MhVI/;_w_gd~ f_θkE-dT~ìI€XVcޮ~2qiuq8K*ɹǯG[$X| IIpZu8ƅBէr y>h.[2\ޠ/(Y{%Hx:0ӈ:J-IW3ĺ,$֟gYZ7zXZִF! ]ŗXi%6v'/v5Y^¥+ψOLh.ő1 YdjpȰR:"X#wRWA\x Jp 9s a>{9Pj[UY$iyLFV`f^g%##PILP#K#K/6\Z⑔HJ GGxЧM+tMc }W<ph>1vb(~*? =m$LʍKؽ?ɸ:Ij)rp1͎3~=A4"3j'w Q@0VK8Sδ9Z*:KY6ѐoJ^H5#/c3$uAij4$g&y4aXᓑ)@!f{/6BBS6k]0KkW/͌ |xz`%xq;ֈBNυ#]ʾ";Q&K.tbȐeuK:ޖZ4ǹ&X|:9ÀD)R\bOcp̚n?-4g/bgtƾdgznۍWv$~,r:rҐ- .A';u\VL7pڸ8IIJk!khQGw7NZ.ťƻv4 XaYb \iFq\b=s4;7 yǟ*ljpxV^"ܛ|Q(X*+0T"Xሣ-qdWBHь/xm>Ԉ{_Mp-s|9䷡p6'=bY`vq .5Ԥ5:CXF%(}R˾yK_ F@,i.PU[#.s{J=&Ԁ ܼߐ gYZ0b69d8c3f70856201e8c054bc34357b13520292f 0f8240b0c4f3d1202327d1acf991619ef62ea817 12719fa2fb7224cb03c4e2a58a2d700040c1f8ca 14658730641da87c122ab298cc0b1925a8e8b45f 2d7fd5673bda78bac9a10b0c74cffa0edc043987 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 4f8b9ea89d6bd74d891be3f0a85340d8a3692bc1 64bace59a553d86ee6291cd0fc7c3f8a71fa6482 70ddc74430b456b8bef97788db506b9e0b5b320b 74c1e3185f043274bf981cab34c6de55e1592705 79f31440868c5686b204e83e4f26f92eb8d94f9b 80e13ff3a886c1c87c891ed0a8a02e535692ede5 8cebb6ad1c86ed658f31e47b56f270b012681b8a 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 c2eb68130c8727bbe5f2385f71308dfa97701226 c507e687bc16f65edb2064cef47dcba98c2c2153 ca30e183f703eacfccab952369b9433319ee8ad5 cf0eb34815c10b600e671c786585de3d3713e6fc d2067abc540e4571c09ebd302985ee2d8feccb91 df3ebee0596d183e99c176cb7fc4bd591141ab7b ee923b4e68f7ce3fa015db25b03d6bce9dd517f2 ef86be48e1da1d9511df0004b77a11bfeff8940fe4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d / Dict_Construction