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 ~ $< % Trie:threads=2elapsed=22.122cpu=24.180gc=1.048factor=1.097zXZִF! ]ŗXf1-/6vR[ltǧT3(*{>-~Ζ[h Dni$_tFWbC'  Q c.HC2;<]X&G"@nu  ߅EGAr.ϒ\i)/[k dƳBc5Xn*uQ+i.V4艤uR+d%@gYZ7zXZִF! p]ŗXi%}ϑj뵿<i|ml,w`t'LSѿtfNz ćo|J T&P[WLCҜY.os 8[6z:64pbh:-'7 ;QA|ݫjA§v֎B^ =Xc \5x{ b+BrZ麖5OPuQ̨lERaY1;SI~mc~mR5(źϼ-?y2].~&*0-/PW^r$<0Xgp@1y0>k0r0ze1bU Ms$p4u>Ut|;&LI3IļkMz80AԬDbc|VOT;0sN-D*Wλ ¹0tW:j/!W`0UJ]"p3';2dyXr93(uCN(&VVrېhNJtD^J1h:"^I nRЪxE5N`Zq ʪcgrlSHԇt੊G̻^=^mR›bfYfSgRX꿳v5 e s/] ֆnSݸCdƾCD`}' Kr9(ma[UL:G޳gZ2j oTNJ姒h SgYZ2a1cacfbfc3873f8c72195bc9d967d52c2901f54 3b5243a5a993cf02a40cdb507d37f2f7f70303e1 5274e26cbdcdc5e26b1451b8c884a7696451249d bb248e78745608e8bfa64c29f326852971dc57cf e6aa67045fb0ae0372e3ac731b90b4144bb0b9a00ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382  Trie