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 || t4 ] IOA:threads=6elapsed=9.316cpu=37.552gc=1.524factor=4.037zXZִF! !]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K3iG1uH*|hG^O@9eWMi}}&1w:A3 sOT;w~n<#IBW5XXCwġ&39^$,075q|?Ѕt0Rq&0VpDgR̳`o 3XtxQQ㦇2~AhdA러:8'Tde-{Υ4L" y'6F4ќP,aÂ& BN1Q*3Nb`0^Dg⪮7.qq K]mH^qƥJľ+\4$d)\9؆,{rգ;y 99rvpv˪,`a;[ogacR0-8]{|O7r{xH=j]:p l?&//XI?T%j|cQ8x3kwe,20תּPw9hLتE?Ӣ02;uN7 C,_ށd$qKXT:.I(96gYZ7zXZִF! `s]ŗXiɟdN'LvH۹$&'vYeQՇdҘ1B)\y,HNmD62VXZw;gKǢA<(Ϲ~{ =BR\S)18 R{,T!){EyA?YLF qMmul%nr[2 9.Fe٘2acNqrOHޣI]AtDSwh?SћG=wS{<b"ǸTy;kbm]vOQFmy#(brþԇSg+]5< ޛZ`m2HVT9E{ZŊ GgYZ7zXZִF! ,]ŗXi%;ވ͞ C+oC "DŽZ*3 Xмw~Emqd#?Kgda"x@߾QϪL9ꜼAX7lğl((zڬD䯂ڸcf[^2d͢iZ 3gm,Bxm1oBF>TxpvjtrhkWp8I~Ry\7,<Ӑ71ĭrtI+S䩸auF"K ӘwvH6ŋeLNx!(/g躩^B@c)RdN=S;b!*^*rlm|i,}S?m$Hf87=K C2;?ϽRڮ>I,Z #<M<[ ]g}1үlATIMA6_Vɢ!lסі6;M}Z N<E /+B[Aݝ&=kj _\')F[a6S?n{㚝pjUGx#zzc+wJ4!_B=*-