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 `% l< II Stern_Brocot:threads=2elapsed=32.286cpu=52.340gc=3.228factor=1.627zXZִF! ]ŗXf1-/6vR[]ׇvb1߁ݶzL:loKK_p[MlU3 Y)c'4u(8gG ;k!^=*f[/LAmp(tOZŎup^J4a BC. I"|{ FR;A"Kۓfh>uݴֶN< p#dST;6V)JU!^`CCeY6xCP&` <۞ CQ1aW L j˕q6Ⅷ c%N$'(T;ʇ߿a ܩ6}ܓB{`֜L?-t$)哔xETW֒%So؏D-l-Fr9S~/Rr T|{"dLgYZ7zXZִF! U]ŗXi%MXr@zkAY-- F.Tr\Uu!~Ѐ k`[y9̰E5JW8>E1/Id3+T cgȅ"WrHe4?w1K }^}28y? V@t c ;i,^b9sfaFM<|/r?[h_L0+|E$x ;3yl8Y3t.k<>=/}rׯz㤚y#[.=qCrJ ڽ=jJS,FEO<{㴭ϡ.!cgy u'cMew.[ FfwOYfreetelC30T #ԏG1>DNJN%PVtl--Zjª-.Xz^}Jo'W;D0L=8_x)i=ߗE&? ($|4 "Dpa}/%x#h2HFHKB' %SGv|hXcUO7`wMb]:_YpIQSDi. ٚVinɐ2n5qM89INȡtZ5-ol4la+Xq}wZoSJ Dn@w&o. ԃ+e{Vj$(WS2@|ԯ끷K3YmYikbT.8(C^TUs.+@O21ۤ7A?3&z 5ecxcoTenFUyX?7Vm0z2şN:Ϫx/~b@ 6o<[Z7Sr|ejQ3FB9uQWiy,uo nٷQSfuyb"!YAsٹ"\kOVp#'7ʒR"t!q5Z1΁:|ܰuԇv ת1{=~?$H4UCչ.f_ޛ7L, XUr|o_l,~eѮ.Qk2&y`jGF^Ԗ O uXM>ظެ`oB_0Lނl/S K j0=2M_.ë<7^a`Sٜ9 םg;jK}lL` KR9Qmޣn%5>?qgi_rxIƌ<]/l aʡϪR unjYU4,x 'jHJH%!Atu} UHݾCPXcMV{fthc>DDހ؈QN,@NU+hGѩ ,,x0Kmg@pjfI(Q[Gdphtd<IPa|jʄq*47̮={B+V9SyOБU }}w*Ƣ<Wq;0n6]< T<77I{jwO;Ũf/|H؊iYvg{nbﮣA} >, Qg|@bdΕM;I4-•'S]Wfd`ޗoLWEsyGg^4#c;!$NW,V؀Jc 4kTwuIdiYw.1Q`T/Ēn1U\ ǔٶ8Ez#oztNH zW, & W[/ug㲆egvSVX9Zֺ̜v fgYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1d735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 87d272d7a214823a6656954e4786f6c505a2d5a0 f8fc48259d3caaff1b24aac794aa005cbb2b7142 f6d428b8061fe9f2a56aca253e1a844479bda80b % Stern_Brocot