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 Y T ] IOA:threads=6elapsed=7.143cpu=29.548gc=1.028factor=4.147zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K e8b勳JͤdU/ˀ=sG~ 1)iZ&Ie]w%j 0^m1b|1/Wt.z5<ZPЃKMX[Ǣ `8azÁ{"q1ӈN3ngX)ESd$_}"(X=SdbcE[ rԠ(|{5o3)31Ft* (SءX sӫځQ(mDYԂlVm.\M63)-K2N ~W?^O1ͩ6^y64vy8gYZ7zXZִF! `|]ŗXiɟdN'LvH۹,Omx]>ŀQJ=Mr;:'Nt ?<p: QLGY.?4KWa#l{k?Y Yi塖_P y5"%(1mϊ˕ [E'hs?mS%o-s9#24"1㥯u:i̙+SC28 8)ʉ iUj~Z3@Yť&[V.HmhԷ\?xהT-Qbwe_苤ud~ՙA)~ 0X=6) [hz.-z:?ɝ..O?1:扌gZ1ziiAS~C@ gYZ7zXZִF! #^c]ŗXi%94ǥ7KYY8蒰XzBVxU k_7t evT_۽^4w\,$O4m=I+k)-]`)kk}Sw䝗迣' }5I~3ݩG[ `Ww#s;p&$SN?hvi#ݛ0}]0;0Om[68V^X! mj U5?ͽ3}U4 M/y5ï\8YT٦ 7>?/:F2n"llKOׇ(\,%u&TsRH5 Lbd޽tH|/}) bV"Y亗A>FNY8 Ry sQu7 nf _d^AF0l)FfD D Cze㔅vL]Tbki̅to> U;O \w|~V1baۻ ~ǦW*ʫH|(I+لЪ^ԪP4|{hfe+ż*S-؃ ;+'39ÎǼ{X+>/qG}/Oԝ nO>wL.÷~_6眹~"᪵w'ěę0 $t{zh]uO%)E !J5\PW-΍ԙ[SK/H-ֶ 7$#e$]9( (hTp)C7d$:#c%U Z c[ԍcY~s2g]-2.gTUF gYZb097bf2c3f33284d5e00c76cfbe93eaad82a92748efa791dabbe9fabbba3e8078d5274688c6622fd 537220e845e462fe9dd7dc166f6d3cf6145faab2 5024d998b2f75c76fc788f94c4dcc28f8693a89a  IOA