SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 hh /D / DataRefinementIBP:threads=2elapsed=3.169cpu=5.892gc=0.128factor=1.867zXZִF! #Z]ŗXf1-/ / DataRefinementIBP6vRZ"P*nI1x{}\mp<;\*ylXn"@u@:&>&ҳ%4"|x'*ذ G2wq^%_Ū\d6%OvWpЍ?W<םw!F-߲GJMaJA(nYyA٧9"3W0dZPV;myPCU#9Z,Tr+'_u>pج+(!^ho.onTi2sxvИw[KIZF f9F+8 ]·|Nj01b&Դ(ehf?T 6R&_s4 ʸbHגeS>m> cNHKaO3q^NJo yQZW #?P<3,A`MGϸ$~@huz#C~S2koɑJl_3&ӞH$"xib>N?6x"`}]ˬ x`w^>]tqEtѲ[9|^_5]*ig9 ߥSp}Eř&ewIC -k{yĎXh =Vh@e2>ygU0P!hSy6qΛYaU05x`\xߧz>6Ic7KGAgYZ7zXZִF! 9]ŗXi%SƿLjqn S#Ͻm,屯#F%tZ|Y&]DDE$ffm JinמymnE !. ednj .c!zs;H=e7@HHkoH2/O@)=/ {@"m^L^n(YrjRq$=Y .Gl.lVSX8|?DVwήST!j8LO L!ۡqJOj'yoNuވ1EL1kNT\4(u=#˩.7gClli3o՜-O. ɲ<JhePiZy