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  $$t ] Trie:threads=2elapsed=21.597cpu=23.956gc=1.056factor=1.117zXZִF! ]ŗXf1-/6vR[ltǧT3(O"?MVWURR kkpΧ>)_ [P(4R7?'civ'0ŧX!%צ 桖߶ {.4_q& ȌJf I~j43;`#mܖCx4,[/՗е'IgYZ7zXZִF! |P]ŗXiɟl٢ :}*]5JgE[KÍ_Α$/UD|dśEvc,'7O٘FjDl}z}YZ7zXZִF! nA2]ŗXi%9(OXoٙM gAMyP26?Y]赻rt$|o u4~X@>y Vy€Ù>/U 9u \QWZ;!ˉ`\D%|̟\ҢTp0<{"Ӽ06| y~Ǧt%#j#~=FvrU;K㗩\uwA\94E4< ɁUW#͡Ȫ7=W> zOӿm'gĺƛWFby"$>\ r&&O NPVa$l}eu k #._lmà^vrAEHAVI=M1͌+ðyX̢L0:M R fVLRyDQD${C \-5؃:yzC;Qcqz#FQ|O0pSV8Y'IwD ̾5XWYP줬'}L(+(mV) ƕ+応 {/X*IMzA N~Ic\(ʸ$.. UjÛ7M*M\35pXpG^7XI'ɐ3#|JsLgLǻ qvT!p*=@-ٳ?4jf\B^Zc.%bHo|iiLo6CfP4褢|j?jCkʶFL Eǭ?ɊH+Y7kxAt>tMyĸPkNa)4ko\>NyzdG_r k!R57h%]&~ Gp mlyb<+VHvɄo2Ɍ(}a$1X4* 0<_k}Xzy͇"(Ak  hgYZ37a1b6707a5480b4ea0c5bae2846d4e60d01c1a13bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72  Trie