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 xx d|d ] IOA:threads=6elapsed=7.360cpu=29.176gc=1.204factor=3.967zXZִF! ;]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 4*r5w(0_2%sOkf/ 1x̌SzoWƎ=S-cXq y<%x7'07 rӂ(rC,DKVkmy,$d6m֟2v1d8XxA i)oȑ~nUZϢ&p^Kd]-t*>`o8Epjk{4CR(庾%_jKoyڡL!gs @-F.h vr2S᠕uB:B*vT&Y[lS|@[7S~ 'l{hq#>frlWlÅvi,m1i-tܷ"dK7@ ,T:!C12=;L >gYZ7zXZִF! `x]ŗXiɟdN'LvH۹)S x~¹$ARfWyhC έ[ḯ̝-1cFhbXOzym8UmjywK;rNoaۍ"yX k1\PN*lWgZ=]D!@>KUZq)+Ƌnfb1SZ|7`'ޝNYE܏oQ8(6"9b1čHY\mH&ŬE'=<Fgs-c9׺%=zt1맪 1jƓ[Bt ci,S:&;94*O;ޖ2~ YVagYZ7zXZִF! #Vk]ŗXi%9+ᵷx5@Tf 0LPr?ֳ5%Eco;NDIVBy z]Bu sLSb^HtXR¸;Ov9-JؿK+u3Gur:#@Oqyd8$^W=Ge,*p*SF?T+^qQwXWX*rl9eCU Sz?*n({GS@^G<,대k)Ȁ5fYvVpK"{)zuVH,!ՠX+I:iK Stzoi^IwS@">\5Pe͛]ERġDsDg&Ԣ+aظ_ ӕdk nIggrW>)#)}$? c[bU*D$*c N8xǸ %oI AU|v6È>Lh>&E*WM؉6" wPl2E]`O(_-9M2}`4:[Y S׋qz+SQnsL$/hi؛fc0Җbw$LfP&_*",6֠/5dMgH8FMP)2>1SgbgIg'`D*.oT[;VSՊ`p('|nf;{T.ar>U&*[xD?HP77ڼAEbj'F\TgYZf8f824b636924da47bbc40ab67e27ce5809a246451dd6ddf81f32d1521a081613e64272e00a7489b 26eb0d9d19e0107059d575886decce0ced0ef3ab ee0661ee480893ecbc98a2cb95098a5378a326cc  IOA