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  8 8= l\ / CRDT:threads=2elapsed=37.677cpu=67.500gc=3.452factor=1.797zXZִF! 0n]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıb V*@NB*>>,VFrS*.ࢾYb42Է!C(YچnWOq3?E=]~][-"_?(~OJd lku _ `?%Oh`4F{>l@3 &G2? 5֒rHۚdS^ZTz;maSs%-c Cdy7CT"bNAԓpk +J%28<Njy+tyߑSbˈ~U=i!5A #!>!Vi!F1l_10+]PvSF:_rQ(8UI+N4{϶zYhW?4]--<%S>Hv|^e)QV1?m RƄ ݒwlRXx;TOߗ@55C|h1R]G d=WT𺹙ik4 >a|mk eX+KN{pOC>3"a/@dI ^Z<c̡H "m*̏"vw.\xIUB)HD%03"##c[2I%T rljÄɟz_GKa]Ӎ5o%q"Ϣ]*%ۖN:诚76 jd\1Fz[ `؎f%s8l@St,~CԵ 244c]Ig}*'e"DwFfu=@I|AH}"1E"f\%W`Zi|) %sy,`s`Nc]#U#Sz pNvd"CnS~.J wZO~I{-ـ%SLC%ڞ` ( @:I\cY5f aur"gYZ7zXZִF! %]ŗXi%6uTtXb+Rw~j4͝h;ctR_^ ~yf?nwln<OJ/W4R$n ×VS}Ev.(( ݰ?|bxaΦB[Cg\(_:IlMruT_[^1iZ׃q  *f[RƦ$⾃8R}8fšrYs2ŐIxWju5n:SWF7*d WU-~6tcW C:۳|J^[yΘ&A@ JWPYAIz1p9(TxZG9X CmVs^K\9\Ϳx񖾑G|c_ 7]SyR bgy7/o)?(8ŠgM4QeF>0MG؃ XEGh^(b~>WK C-ǂlq0LX$\Ԯw{ǃ-1`ul~D$P0榨fC`ޮ@Pgc=?CF2#w:B_*1+CU@\IPFTa̵nov)F zq4ctW&d 1-#ǿ֗7+^VdYE+%s,0|sdׯHNo50S,\%GY ؘmX}1;ZXf+dN>v]^[{YZ[F=$m^גЎ9ݞVO ;HO{1?{ _je풎AK5OPLg1S*iOð}SXS'ikݦ<:kt qhBT%7ш _%gWt4觩O_ .xq XXN*ZLZͮ:/O_˞9z-ED is b+aLՋ,(FצaXAS^,SҠ,긺" 7d)_F7RȆT5tKCo+i ln*&($|4_AM'<3˩1SB@$$O-T,S.VFxF\]@3wC Ɗ n$ʼE 83[˭eh2% !g8ΐQ `}z\%=i6j^yRD:[S^G9z,P%2.T/i9{7D%pm_z"}jɆiS .^Z ~;&pȪ:sԒG8Tx kCwɬ TyPh) db(-[kTz씥WT]G@$Uq(ZUD?8sQ` 贉o"dk1Nצ!AFƅ] %?D8Ş`UR7$bYI%7}-\F5b 141Xv?p+fm~ŝy"-+N[=rccbLT4%8ۦYhB8<[Hf.t?N}[ Q25$0c?Ժr/5NW/nWw;QdIښL/S#c5@(VOD}|6wxaggYZ03452d59af99836a680906b505187f9a7b92fef1 08f0891cff2f74fd97fe4f8d9775b4b780015337 0c9469e4651698f44e3e228873be074985fc67b7 11e3d63edaae207e5e2a56f61a02be1d8fc71098 185b62c9a47bec524007ec7a2225b16a8f4b9349 3997ad1247c599ff5ca5a09326a165d755ba9b8b 5117119a178eac69d137fb85243808da2d667eaf 53a0e66ebbe420a1db17eea8eaf85b4b45a9c094 6929a5a586c912fe249445f5324e66d2651d4f0a 69b4d87e9cab0b856337e17afce32c08395ac7ff 7bb2894bf6b2b1879e224f67e577c429b34466a5 7d61920a90bf4cf8a723eb044ad8ff033d8c6d1a 81bf41c134f9925f1f3de4f207a27df354f40b9b 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a15e26ba594a2ef06b91fe64c839819edea73a09 a87b57cb81bfe21df0024adf6c927b90c73f48a6 c6595eb84f7f5b6ff8cf51591a134ede1855866a c99a1e4e3375bd4b794ca4b0e7c471da40c32cab c9a7834754ca020e75afb9d98e309c88e75bfb0a ccf76f9fb34684fa9272e37fe3518a1f7abeaf46 d5b9e6934f370bcb1889bf0abb57946bcadf5409 e16944bf0cd5fb22a0d358f51a5754bfc614e47d f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 faa2ad9cbc8b68aacc77771a34ac920e4d7d75d3e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d