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 Q | s/ DiskPaxos:threads=2elapsed=40.233cpu=78.548gc=1.216factor=1.957zXZִF!  ]ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~Ls揩'ilǰ!|s8#h*58i)Zsv e%zUaJv…2:[ItNc}1 $yD ۥJnP4/v$q2x:Z _d&+yQ}bX JRۭP/m \S6He@9d BI|ؿSyYG͇X;Ҋ5"eK[Z4˷RYhƹXbH`kv]6Wnʶ7b҆o³o'F>tcs,IM-e`X#>Dr Q^:5^Q~Q7A ,]]FDo[h!-8uOAbgr9v, C8X(a}kx̹{Xa,u4'*;ϵ(|)o_!&uwjךK ŌJ+kȴfbD: c+[1,;VSk7AɷM4ͤ1O:@G0Jr66mcNw=韣B ,&iJR"騶8_XXKG0v07${u^'lMy;fT$nmc& >O\*cGesQ#M:1 ! [=#!SCbK\EkZ~`:~`$oobyEo,tI,?kMK9HSe'dx}7y@zU̘zCa?Q^L #Q1)2Ԁ30&qR,8s$d]/5W#g]k:BKTΔ[V?6/zq#UђK1҃t-vNʹwR -l9=tU3au8lwr~Jq8jl̺ D,8gƚq;$k /Ƞǘc.\O-p'KoCհk!H%#m+N!"䤻[X uW; dNiqx H@'"-b@ܐ22?QQte|8{sWf&C^!)vsK4 iT!q9JcRp7K~cg`)J|9"oi[,(ւLNŬqg"+ )vnSގS"5tmpY? iNj>KsWFE / ~I2^s\4q,3AdO&IJb5)Z _ӂ]Yn$3 1R5H Anʹ` p"T$,n[/1 qu>r/:Dkx-cïe+r|ʼ-\+V?z87>PjSڤOP"n 剅wWquz5pg4^@EbH嵋8:,|yr_"Q7~! h6c]"68Oxt8Rqy|Yܛ fܱA#S,ߧtTqWCt¡j gHիy lX-Oxd /]{i1Ce-i3)}q o-,PX{N^pαŘ se8bةJ*a_ qP+UB$>컔<4xŦOL0L!Blmx 5xScib__58G !ZLoc~YMF,5|hJ$8 ѰEF ^qJXKyk_67t>#x*$viH#<רch-z 'Š Yf׿FOS$=|XbpU|1B R ҅$ SR :4_վi`xvO**,Wpw鸦E!A}/.l!<˺on~ z鴟Bu:H >6N(I NإmCC̫6] !{ Fr\w9;fMud ~=W-H( @Rv_d?8W+%J1o2# fivٲ=TM},7;Ru3{ ֮mBd7X[Ƃ^1blkh?KV81S1W8_ CLUSCܙ.Bo)D1TXfmFTRc='s> i*WEpUDG   DiskPaxos%pLb M{2ZCM)cסT?F6 ,PS`wu6ve_RpW ֧6XDP~2c6 %)VA qo85^TTbZ@Ļ>lT1νrI~HQ2*)eoKӸ[ɳ7)s6u71%02yxOTdTBɿSSg$8^".6hÄsd&ݺ1yt$Ż\ vś,xa,$`NAoرgYZ7zXZִF! ]ŗXi%sA(\…xATT%M D+ -ʂu"kRwMZ|:o~<P ,f'iSd;jV&(h+OmD\S6눬C#13Gj7~eWXڡ cGHxԛEXnI\?E=-Vf+`A&7Tt3jp}vn\LbCLg+,M-FܢD9O M ݳ_sƯRaurLX,25:ߢˈ>욚?)Qk< &3)(%WPLOC_j @A P?Wq.FK?9FUB00B|}*(nY$Tħ*C2|0vR7|kiBBz$h^0n6RJ^Y6̖u𔱢~ e [}NB4D^gP0zEdqa )qQ ,Kz}Ѵ`T1.^‰:r: H8_!L@) 8H眻`k6 fŽO;J|P,>a?5B'fLI[s)\f^r_sWoT$8'mKQZ/)~]##M$싙 {c#AVǙJN0;-w> {W!=G/wr4=vRԍ¨q9^O:xēᇿq7BNa4&KGG>Z0ym:j<0 N. 5F4.akAk."a#ooH*vxL<  2Jמ]@ےϰ6lsVhY_AP˼oɒNX(" cIUC·U?tOh ֿRWhnpˡ<&Q dOi;"s;}B3λGb.URU؜b|y9hO7VnBvi2&c vF' #QMU<,H82VbRqyoy @Nԟ6{|y9Zdzw v'I^ m=aW8GQc`u 'Do|}LBqIt=X' ƕHgYZ04a43496bb242f13e354743173d0d2bc1fa7ebbc 0656abe3fdd4f4f6f193d53a89040a0ffeefb811 06e40270ba3acfef4e5002e0489f2b0b7986a3a4 09fa04c7b8476fa8c77b0c0ad42c6e9ca9c31389 0ae049394f15799fe308733fd40ab6470b4c9d43 1d9a9f7dc7edf38db5fc870652903059307b79b6 32b10e31779588b653adc058c327efb402a538b7 38a543d37ba34776e1d7ef875464f82e08164c78 3bcac56793b7c7950e37b3f428eb71e137d33280 46f7afc89931a2ddb63fc239d13b9f4a132af7b4 51a05f62c9853cfa902c72518302e03dc1df9d65 95ec0550ff2aa5b8e675bbdc0d1ee6e26360172f aadea86f7cb9f3ec835e34257674b727cde4ea38 b86421ee558301fabf796ec560da728b109d765d c2523bd3d6534ce2b5cadabe4178f914f00e45cd c5645ad5c40c76284175e9fca39ab6d593418635 ccab0e0433d2972ca6748e5896916dfb44aa8ca7 df58bbb0b2243d7e2e3825b8f01a1c36dcfc76e7 f06e9df332e58ff02a866853dd83e646c319b749 f31dee03bfffaf9ee50c063725fef2021dcd0f5d9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9