SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 a $ ]/ Huffman:threads=2elapsed=11.522cpu=20.224gc=0.500factor=1.767zXZִF! 5]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp NNWw >`G"S>5qXD`>25V΀.8=nՠ4y\O(lݶc!bac%`vԀYayA((%OPc=ۤlMuNDЬ6\0J-%m,;nb#y"rJ|M m)ߎ$ɩ+s,3o\*pIRGҜaUlpWttk)㖥$y+]w MAmO"q* A{rH)lI}+#X菆肚n A-yo;Df҆]ŗXiɟt0sϘ ECS>XVבu< yT]`k=،!ZD|c}YZ7zXZִF! FaL]ŗXi%;iԏ 07~`Ȯ#Z.ZjU^aMfb;.P.Qoewx<:[( Ƃ簟<{I/W[B q<'5Wv?s XNd>0I_1r!M C;_w7>2 "SHb|C@q?qZ@Zn }X(Ie"^:0K `_o[S5q\ؙCԅqWS׶W++CWvWDwBB<Wux}e2!!a,r.4bQֵE6fTMf 7ypH{Y%E?2T\Ħ> r-fv!z>wfb jC?AD-K4`Ji{ӨfK s`t~U25r_U#aaRRJB[!*  .AyfDhFǶӳAe"""t16xi Xa\ZmkVI~OD8a $__V?`y1O pa+FnebW"F)m9nm\aNgK>K$u+!~`Ygt4C`@gXpK-fd1|u7=P7{!M KԓZ77meJRfiuH j)S8Ͻs@_'-'?fO.}x^g:B93tCDlAԹP-8butU$F *ыFQl4,,H( Rm[3ڋl%L?_5MX`Lvš/]qm!W+j b (Fo2KW"zDb)Rv?'VpHD C^l҃=)Zg (f먼8|@}Wf&ZDdƂ(&I`U&ٙRdefp*rlO1yXeq/fK\pgYZeaf55a1feb04ffd8d322ae79ada13d2210d55388273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625   Huffman