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 p1 T| ]S]Nat-Interval-Logic:threads=2elapsed=47.778cpu=64.184gc=1.332factor=1.347zXZִF! 2]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_ߡU\rFv\%sA|/ vz,ՠ@}P' qb) fp}Q;W?5DӋ9r@Fu*)BEI˟0|[2,,B.P GkF=Yb n.4\s.}j\ BOYx@ڎZz 6_G!‡̵{FsxZNt؀l59\2 n`vglMTMRZ@RAӄ)Nuݨ3^%jPL}GƳX"cVF%QHv6EȞ^ Y+N"HI#𡧸2{)Y#M =$X~n?^J)Z%V_hC6ZU֨]^?vS]R:(%n~C t3.O(]=V/cFukN1j@po]bv}T4b`,B6oOՒ`^c{-wn͎OpV3rO#;*=Hޅ<ܨѧt-?QHh@ k"".ډx 7IscX׫qf-vXKQ9okCB!!.U=*Mu5oT%dW"VP dɁ(XJN-]]((d.o@ u3NomԎ؀Cjv)HK߮;:cd* Y_!Oₚ3]2vrMCY6VHii/}L ϥo?,#J8BL\[G8)?;2IT8yQNeH(gYZ7zXZִF! ]ŗXi%6 aRHfF)Y>ENَlk,UqKAJM5"oWrOI?㼡.|]^R>HVO{N'`',9w@d#J5=S'vĩ۱όrq&tN.6 #yb{_aRo\Vg2w߮ gM%ܳXL.t&Փ,DGg L ;[/2w~G[9q9_`\,]H=P>Nz &qNQS3~sUw鳆EI_}hh\سv :MoRucfqZdzhlQFRc$oxq Z};XkwxD0Kʨc:;=9R sL"4F8EMЈ+!m5G8Ġ]:G"@St`]$w:0CLk3T&^sgkZ 7mszgF턬fP~e1m+`=QA9v${U$bfMʱ: W%0޷k`Ѳl i $31?cN\X*&O)lqp}:XxQ$|>'7BM8RϷO9v ZOq-%Pľ)&v̄- [XC*1_=ҷa8M]$|سx){Bԡw)[:1&&ƕyUZRpp+/RQE9˦`'!Ou5>]?oC)2PTh.: HBlVô5{PApJ7FNL/?af. x3A>:ߗ:ωE˘7ʰup }Lыtڎ Ri+3$yB'&H->,Uw 4@ 5?LJ oŤܺt>(HPa=o9d'1VW&۠UԷ{v@ZtC`6O;V "%=I m;|.ex)@gw B9ĞcfT'&*D0YEmJֱ=Id+=ҵi\flᧀ? @t_^8Ys&'!,r6.m&[i;Fz%+ExYH1KUdF|}g49v_&ݐ`Y#R&b ĕ<;E!hFțarM^kz7*9?c< R4JvZo e~,bumjAGlʚ6dxXss|ixы񼦶_!{rz"tzJ;b$Ҥ僉iD#{wm at|R)¬ 0DLS؏X\hMiUoe3mTbUe H{!D6d輨nv27n֠/ ÌLF*/^(پAۆnٸO3jlF~8:M[c=0X@+D5#`%!0̸ZPA uj9Ǵ, pn` &቎暩r0,RUb%va1)-3Hm.>} 0Lމ~OI83 qTw 831V,˽S([,.oAhXH1,V\4G/fm$ܡ tX3QH+ \Gt9}l^Wƫ;4wo,ђL !1}r2UKP_m, k5>: 2U@ݵ<KZV>zVh +pGLxY=%Ӽk/R$T"Ű֝UَtS+gxR 2`շxW fi _3!z pE&ޫ%0d3efZs0QCV'?!'ݙuTwk kR- "E@J^CO"[Gn[|w;2Rڵ'#elMbgYZ10ee3f212442e45c62970658047ee8beb817c19272476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 4f841d48a26b8459b77bf531d8bf19c29c51e76b75c4e4e66e4280714ab9cbe60c1d3576907f6265 1 Nat-Interval-Logic