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 %|T S MSO_Examples:threads=2elapsed=65.425cpu=126.000gc=3.632factor=1.937zXZִF! A]ŗXf1-/6vR[UWdT-]!"C+|1jW.M#OOBRyc()cnwdU g1UbEM)z5_=rJâhHAH 'n(F2FGaB!e-nP:7n/#Or\2_BbG=aipwܓR p]`sg7LQv~;r|XX diJseeDh:|6Md9b+K)~x)H[mklIX֔Ɂn % MSO_ExamplesiUOlS_:3`]+fz)sUƒLK)x" N9{9ˢFTz\ݿ$8gYZ7zXZִF! +L ]ŗXi% eQZrd&Qq)_z} lPy 2= 0 ."+PߢB5 rCsU/“+?_]O†JUI()";ϤEux 51h߱E׾:%Xqjߠ SC8 m]haSNTɫPSv?DyfQ&;'ZI#s֐y"uzX1K:t&:<9eс[2/YH3'{}x.w+1>B-JU2aSȺݳDQ;V6?^"j:"dm&rHz"k3/Ã4[Rlj;f!궃uG%N2`{(<))KDGv@NJ$f k^|";إ[dN8E{Я,,ѡ j)Oc5ӹ}F0(:k( 6ωYE4-;!~)i#Q%_1 9i-j(p , :Gw8s*i1ѬEaNDutbtqJíP`vYYX́&'pSˀ>V f!ߟ=%̞p$N:"tC4?)x' UI z tL>WS˙' >'Y_v,n.^[+?qoᆵo 芉aAߋ˨Y Y1l)YfeE/$bRZO ^}E2I>\n0zxzIjhBN'@ϘO7;$ K <"4G)ev'%Dq\\wvt+h!e9Z? AFsH͕ ֩asB1#>չ"(zņR+TKy |t}Hlp?44U&u3`# Ƈ,t\?VkN/!WF(yq C_o"0xt&ġdJ4糿Ev]?; J"FȣFH ؄Q(}M_Zݸ'sqLwoMA1X!Ơ|kҢx'},yQ=Z[w(S$|jL#-l \5="\-1fUjO _ܯM„4Z7-3|zt4*ttI\8݌6a$a3uGs?1$ĚCJ%^؃d*%ΣIFBl4`d:,Ŏ "IϪ=y!p~ƪ:q<$+ 8޹ E M0_9:x[e}FVthеMےl 0Bjjِx[h7q?`H@[9,VO$OK5GܰHh&}rb{4ٱ!+_Ś"EC[mR1@#WG²S2RI>fw 1"Sʕg>R@yv:أ$.O!PwA:TZ^M.r2 wo<\S6]1GI1%ddjOޭz'\>Fv懾N]/ s%@(Uo\hr=M9>ʂ4A(쒕I)3a Gc'FQY@D|odJ; (0Q U~Bm\h]{ ){gYZ1e70705efd04dbbbedb9a4715f0d34c63258e9be 67764ef3aff652c71ef813384afab8f7337e32b8 d60e6f1b237777f66e8532733c0c11e9c656e7a29711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef a4929691e885f55d0d4228b5b49e35ae7bd11a4a