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  & &O-LT I% AutoFocus-Stream:threads=2elapsed=68.736cpu=120.608gc=2.052factor=1.757zXZִF! \_]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPXq?YC5F3j%UYzBY4*z_)oF$1hvxB*pP5 8ߖ&HޮsV;9kT`W \"-0w6lFQؙhfbʲQ~,u4ԀC%d{"w<mR*n+AIW NPb]KL&HεV8hW,tsq4Ѡ8=A-ءN Pc56JY81߅qȾ1YmJy- Y,>Oﱂ\`c"4@f<-aCTrhX¸h k ޏ{9}qk;2v>c:\a3Ea]f)#;nQ67uT@3:1%BW3g?6ƶFB}Q;I?/?Gs(dţ \|Gy4?bCrnz4?q5Bk4 O\LVη2Pwck7,vysyc))P}}4=;m'ַNR[IBjS624&m6$U5{p 6FMQï[l,yGwt}#;͡Ƒr:Vm~[eX$-4PPUPlH4kvO˚,xYWNhPX[YR>].%3!bS fyv#yShRsz`ro/2u8+lbjLw1҃L&8IZ';hߖ9"zMR4ՔXSn7P'n ~ø+") Fq)_~Wg*,=}wW`g&eߴBPP+KH鷔Vh7CO߳*di  ɄȝaV[I(Q>AK%sIwsD+~ ܅ui}ܰhsEאWi3l̿m_!1 (窿̈́X`/ir"--/j˂et~g~ $R7QrG-gJBt4m+藇MHpAtkc@YWTе; - AutoFocus-Streamgװ@]yS- :WJTgYZ7zXZִF! T4 ]ŗXi%}ݚ._X$tީ+K)fDőóO XIY|lur[Yubm:7R*[$[.HÖӓ#F1ȍkG}Uh[|H vU;<" ] d2OGg3fv™(A:`.7\F L[)Yd#fɼzbͧ?O%-3]\1D\6k등;ΩU'N8#dI MG=;lٚ "x=׳0+~mN{#~G*ԡ <e=J/-mgHt]Tt[cRHZ|ERn*'U@PUX)Vb[Up(I4ʓTؘVZihܙgG4-?2?+gT @xt|M^+tA-[Ov`!,q?輦apBs] /0%G3AY\#?KeHOt/`=,SA\h ݖtl+w2X:Ғv q_s&;xm)AB߬U!R|eqkkCXb/tTu(|R2o^zI@0],k/Ϭ=S' ނ9s15tvQ0С'Yk}=P#y! -/Gp!PRRP؟b N hS*t^9+᥵jՂ .~ވQԀ.>8Qr!*&Vw^z<,ɹIWw8eDoU Uwq_ n Z$TugCM5 [!g<hR1[*lfwsOϓ=T| $+OiaۏvLv0^0sRZWm3Tcf[~`g : (N&Nj-j-( P)` PҲi0ʩsR;E(g%ׇ#^L3Ổu؇2_އ %yҿbNpLpu U!u0T.zJ~0CD>wm5b^W |^Q,խ솇Utk\H[3|EO2] q #Eڽyoc~YbpOL1̨o=dCi"²y_NKH[n/h⅃?DXfTUYrWpBk26ܐe%:lϖ|^sf*ƒC'ϴN zC=ma|"b19=AMWz91̦t ~М=1ޢd?1PMrDV0h6,x: `evK/ŢJaA>h&i$nz@g&A ,y%*ڗc1 4 &$GD;߼],ЙHkyI9l\(S,-ɸ.|m3F$O6iT|6ُw%R|^Onnp\9Qz`<ПH"“Ff:'vgo['B{Zm&`ʊ#.P$Yw@{՝#3ᤶjndZԒedbE<É,|;{޴?vv*R>u< 7_26 n2}A^;++q$':-_msiS@ T/‚-w^dDC{cj _ lRt$ܳ-hwD!BVFGtne 3GQpy "gOcI[(W\$ mPm3ׂ /lkSC8hY?"\RԺ^:M!?`5 A:$ Tx5lm{`AچB1s bDCطEsB{f}C] c [ж2pg ʅU*`y`0^srhrdL%E<3o,q)L={ $4$_any"L! ecA hec~߈A0s$cSǶ:þ-RZ)~+49D/ i)v}Ȱ9ɍ *#HS}S`dK 6\( 5K̉i2 5^3-|8Igh)tk+*Iefg֓..l衤2H/2w[`OEb5J%wTq܌ޝd{' `*#NyW,Ungj G4/ 3_c|Q`n9؜71C[^<