SQLite format 3@ . YYQ77Atableisabelle_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, "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 ``'   ConcurrentIMP:threads=2elapsed=22.993cpu=38.796gc=2.048factor=1.697zXZִF! C]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*piY!֏K[3*d!S{橳mi#Ҋ2!ԅp~ sݾR{P/ۄIʣHb_^Ap7Tj X%DGn.@ s|:we׷K뗿~I'OWMQJݵGNuA}j\?5U=vOT0.v 4gh*{RSLqNuz2>O9T|}V e`\Lix$0iVd.Y#XX΂+XRr\7X{UMbb',mPdb L+Q 죮)0;T@5*FL@VPy7:1q/ u^]RkQXiJ?vǰ} lqOR2e˱6B;?Y@5%/gYZ7zXZִF! s>]ŗXi%6{BU7XOUd>)0;88<]`80["2y:,UҴK5Btuf9oM]Z Gk=gK"BkC;Tj8i۪Gʇ`D-U͸9PyzUU/ӪI9gȴ#npbSjx`hopDo\BmY`YDIdf+1zȌY,5A W2a ؄BzP P-G0؏ y5  #ϰ>\=Z;,FݨOљygXDR4:NJmGOgqhbE5AyNO h6> y9e󢭥~>3$4?R.Nop=)Oɸ6W2RW(U?){؞mRpDǯԬcg [ Ⳍں{;,ӳ( Vy rRhj%2 б0s#Ry]2tٜcPFovKcY g]%/χ2Yc\s)WN@&$/f`gZA8j 1FZB9%yq{;R(cSkG-JᑫNgc܇骔EMG {~㫃z _p3 ^}#m;2_%鸍&3IBu/Bvy͍ׄsI ri|#" YʭZ$ . PI0CƥkebE_n(P|rfJ5qፄW@[\nȗJe18꾉ޯ=;/o\x*B@UeWgݜ]ŧZx[ }^sl?9mJ* h@I0XywU?wdo- Tt ^qGM3M_i4Kv-ˍw:1vTGlm,'t{ѳa r0ijֱCT֣O*(U˿DyK@~ۥ{;؊rL.KRYLȥ7,{Yܦ ÂLgYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 978ebd7af29dd03c9effb810aebecf10fb14803a abb52186ce0c45031b3ba6c2704d52a3ee29a821 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd40f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 ' ConcurrentIMP