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 > D ]S IOA:threads=6elapsed=7.739cpu=30.976gc=1.280factor=4.007zXZִF! u]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K*yfsCkR-eJ#qMh%6s&-!n3NYS_$ ]{_`fkٶHۋ=a?Tw~BAeSs78L; w'̗UdBAۍnw7 {7J^,/Au-lk\_Vཊ(crF<:"4b ALCY%%F 2E~ އ.SUE|0Q(.Ƿ%b@>狍$M in% pԁη NqϮb9ܵj{ XW!BкhC`gW-2Ů#.P1 0lc0jq.\uxlu0SWce._҇&\BB "ybG (R2LP=s/<$ugYZ7zXZִF! `]ŗXiɟdN'LvH۹*vYlobV˺>rX2 i^.L] +LT)I8 ҢF mI1JTDs`ڀA=sr܊Sא "?UkAK#rpۓ`I0Wgr8=j@c+dmL"TސKѴҾی]kQ[mKWM}ΏW?x!6",/7 kA=#cD; cR͸W5b?ol[߭l|kcЎ*ڈg""RAj8>pWu9ubGt/a^yJS| YFgYZ7zXZִF! ( ]ŗXi%6St0@WWD3`@T/,>Hpշ8Ued @G=E­S)g-1bs98b ufr~3ki)a)nz-{Yq̈́/ "Ĕ !IX~xhSxFni FiZ_ } >/DWM"=G?~BѺO#ťf1lk9z`_Zݭi5dkV9kL$cg9~Np ^FrFjvNNP=D*,ˍ+Wh_pJHT \u_,TK|F4 V]?0 )BH@N_iH ZCw\[Y-i[&^fbB8qA{|ڍpےѶyDoS`PXm Чo7սBhk1u& ^uuzYL 1=D[~噶Fel2 6X?rQՑKmZK̰nxyR4񋩷 f.oG-8$j<%^F@5ԟrr֗Ѡ<;:/-17"yy+p+=Ct7ƁoK9ebnƌn>;8u~'q׋sI҄xKǻTzx޹MܩD~ή))wpfۉSSa9~B%;x .$"yՏ;tͽ t# =:f oeCAPas1wmHxvIkB>x61df]'l~oѵ \yjMżfÑ4LZUՊt,2OXs$=}v y$R F.P|7gYZ9fd38902f3c9c90c1b597ba54cc3891483fa3e04bc04ed3d5e3d39fc11eed643c195af42cfffe6e6 af27b793b0e347b7ff6acebc98cfdec3738a93c2 56c99ed97f96b6895878485285d5451853e4f70e cb7f04a220bbdf550fb17008ff4fa2ed0e4a561e  IOA