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  E 44 s/ DiskPaxos:threads=2elapsed=40.863cpu=80.080gc=1.000factor=1.967zXZִF! +]ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~Ls"(~dF}TA0kp"CerPoDZ0 I`?Hk!۬ej.VD @/SlxR)P@͒ì}0?ssz$" x$ q4.,r_&E Pe"q\&avUe%Wz3If5W2C}ehƞ#%%C+򗔑@d*8y~v!ֈ[XңZ;CyB%, 5@(* 1Vϸ|[%As, ~(9SHRRzBLq3 HxY%& fvESsFC2W͗B

T7A)TV%Gi XΎqĕ }/kN^ߵ LԳT>_  cj!VD)7kC\i96\; {0h|H!L&Mq&C>rrE`jzcV/z&th{pL~6 c1:SHco3ܼ}GN ;e".Rr!5B$wR<ș9 N M\ OE W/~GWܱgYZ7zXZִF! ѩ ]ŗXi%3g;|x!GeiL0##v([z]"ImrH Z~hq{+;Ɋ8J>"%a+ J"S̰gε3nXc-*:"4H̙nb[CoҹnO0JW$~.+|"5Y&KĹ1rө"uv/6n`\e!;5I%#*@9 u~STSq q{h1uHw뇱H>,+m? ow{¨cBb) ,;ea髄}|r%s/0^V@%PNri@[(;qri˖ BuZ`%Խg ayfDF$l<*u_iXr l&N DOPm'h$Y5PrAEd`w)_ub"%8cm&ǃ&#[CQ]l/p8A6}Q,p@0cpOV[ /&x^VUЀ=sz# Е_XUa 1)\x*! e?'R!ݹfGt?b-!yc9iQ U%E)'G"6tq[*mry 1ͣMwp25eeRF*:D'jJ:(% πc0J>"vϲ+hp^,+m _{n B"_d۾Kh҅hWa"~*AuiFS% 9?;cn6az˛sppF `R$#J_0fĮ7+y&j}R$:#x+3]b6 rÇ'hͮt=۞0Jmv+,wӸP>'yz*rl8 kһh?iru]`UZ!ud kq_>Kd@2Q(Y:r;.G&bV -ʨ5COTkez ױs.|m3t M!yapS,I~!Bs:1Gda/&YW4.I{r1^a&uan䗣n%M١6槱gYZ04a43496bb242f13e354743173d0d2bc1fa7ebbc 0656abe3fdd4f4f6f193d53a89040a0ffeefb811 06e40270ba3acfef4e5002e0489f2b0b7986a3a4 09fa04c7b8476fa8c77b0c0ad42c6e9ca9c31389 0ae049394f15799fe308733fd40ab6470b4c9d43 1d9a9f7dc7edf38db5fc870652903059307b79b6 32b10e31779588b653adc058c327efb402a538b7 38a543d37ba34776e1d7ef875464f82e08164c78 3bcac56793b7c7950e37b3f428eb71e137d33280 46f7afc89931a2ddb63fc239d13b9f4a132af7b4 51a05f62c9853cfa902c72518302e03dc1df9d65 95ec0550ff2aa5b8e675bbdc0d1ee6e26360172f aadea86f7cb9f3ec835e34257674b727cde4ea38 b86421ee558301fabf796ec560da728b109d765d c2523bd3d6534ce2b5cadabe4178f914f00e45cd c5645ad5c40c76284175e9fca39ab6d593418635 ccab0e0433d2972ca6748e5896916dfb44aa8ca7 df58bbb0b2243d7e2e3825b8f01a1c36dcfc76e7 f06e9df332e58ff02a866853dd83e646c319b749 f31dee03bfffaf9ee50c063725fef2021dcd0f5d728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7