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 88E' d  ConcurrentIMP:threads=2elapsed=23.246cpu=39.104gc=2.060factor=1.687zXZִF! ?]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*pp@Ujw|nl־6ߎٛ$A$"N4D1? 0yvbBbAė6!eNL~˃C$r8m@])vqͭf$0H /uhtb2 PQ R[dAv *r1"!!֗\Eጰʶ\gJ]Qx|bn@}{4>{s:ҧ9㵎|4KJYe#' m#dGZ^KPg](*Oa߶Ӎ{f(.7@u⃍KNZ8s{ڨ ]CPhT20SI(? oa[+͛ޭM{*KښXyTlGDy DlJ=a3_LlL-xkؠ6+ͬTw1iz)Fߎz>%ԴⰱgYZ7zXZִF! uWi]ŗXi%6Kܷy1Բ"\Z@is!/6X<)GVU#{` )T"w+\Gk3@(W&G aᩣOOam=r.N J\,rL2`Ƒ }e[* |rB)Yf 3!4(mPY&|6>,{(Ш u- MmVßX/O /(ՃWXWu775򺖏 {WxSjrQj54XWK\^}Gb׻}+y1Տr&"憮msTG2Gˁ8P mݥCm6"5ƫ\4}fXE$(5 ɰ<&%N#B M !r;[`Ј'4uW oGLMӂ=z㈄cا$w*ՀLxHqg#_joſ<,fSU1 GNNc haOKqqVGkFY1R]%Ntn ~<>\?W\ii*ժ9.Q悾3z^r+Hɚ{Xشخ.NKԮ-x1yM.^ǺT" YkٗĐHczevɡY'ӷxrk$-Şh~sBw\@S#4VS޲1.g)2Î|ĿnJ:`M~t0m빞%-(Xʴ5&yAe֑^CK62޳64sj r&DQ kaU@-lNaWsFO#< >?ߛ!c[Z5F 0r{gV*Zam!+H/܏֠?c e\E *pOzrYsk04 a;Ӻvi˖$C-SJžR+֠ZC5(兞Oe7qD;yPO,mj5I߻4 -?:k1/ygUFX.s89d9@9T  VTV40tq["j;OEݱKRk,F#[]RvܼpRu?,|idذܰ+qO2bPk6.65If誖 ƏlC4um nb19[! M&/@/jސgc;8w'U,"v NOX]63uaRK `t,` 0BfmwǦ+i F`6+gYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 978ebd7af29dd03c9effb810aebecf10fb14803a abb52186ce0c45031b3ba6c2704d52a3ee29a821 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd40238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef ' ConcurrentIMP