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 X!l ]I Call_Arity:threads=2elapsed=95.461cpu=152.440gc=6.496factor=1.607zXZִF! NY]ŗXf1-/6vRZy_: nIJ"R+lVg2(1C-ơ=J;R=LoM}W?*} 67'\ ф hk+Zq p |{beeZ=4^f`]W"_wAӰx%uY׬%s0٦})Ыޛ'VQGs\D].h7 Ly72Gv-|y&4a\Z6@SF:| "rRN8`C`Sf wDnYl۬w:QJ¶>ok,_nt^AN:B.gj\jՌnH9g Nj?;QAI؏XLbxw"jQteL3jMc0I6CT1ZWhL/Xe7B5h}LR0B(N6*cˮagTE%;Sχ6rYp挅evKO((*,;aL,AN \[s LlLNfapYfja/ޠ, &A܊ xg;FDq U3ūpfАl}}=x+>ނr칦 #86Qa{֍FWw#Wlfv$6Vh3y -R\MQg=,2 scd~jM5t_kW +r3܃LDQ'V^Q~q"AWF+-0O(7b(J*VqemR7(BYe+0QW%#`? շEEC;TQS~kjOW9Fm8-^Ϥ•.æҁ/N/ ؟{ ЩU058gOS/-+AZ٘nDq:<"0D _R0Ne46`*C9/ueHQ6 lۖ$a"dx/{UIimsl&<^@Ι}.I0a)IFX."Ҋچ Y'#kko0;4fNCeLBNЫsw{>ɲUIR۔~4X(U$n݋G_ U= B~h#5%#,=gCԷW_Ci4 / p8SFCVe~J0/ L{~(y:9UѝQmf qHQʤ4J9AmC҄"ZR]M+[ŏGlTG*Wdy<iHZPҫ$W5lfKbs$&˯hoL\\t*٣ЅeXy/1%- Y,q ^Ձ~ûc}fȮe*$V-ӽڂX0[3oZ;˹0E˟ʬ}t]D,4*( EgBOGE5\w#>[ead2!(}F|2E1! ^᠉n厹$`ZU2B)T`#=,-XH;h1._0݅k'^!챌sRA"ƑW0vt4~- $ob1[ USXW*O/όYWV')[P.kY'X4cY$ZAdGq#/+t(^N܉]&}!Pc]]? 4)Zj ^ΎP3\6!X7%YJY,؟էc$ݭWC0yM9(lČtws) *%<%C滆_\=KWJ@uWxV KpkAۄN']1))3 !?V_<@Um! 1߸V5 ;˜w 5m}e=h9a(!߄RurD: OyRfbab$+iٗeQDڠ^laɸ: R#z7=D\jC!MKD羛 MbF3,?%WT_M!Dz9k{գJI-,[@(ʱ3~}˱Q8D&Q~jP&&= Ig,$[LiahcN<WyVꏕhFmitWՐZch}\# %CoNe{J`b=JQoH$̃RgS޿:".\'0,*n͞ )$jĂ^Y<> i4 E,#DLfY\/ohHZ ,N[2a  ! Call_Arityͺ+{{RZ"z ,ҽ ䷠93ۆAJB!%HևW~F4kf@zg7C= HzZ}39ѢfZqx'6h.>+tqC +@O>i%X~pG܈UOQlcLMu][/ EN>Plzʟ6p[a(><}Fuzfszgk':ۀf.; 5w֡gT4F}?9ڶ?MFe":(>3+ ]Nf295$ }BRRL(̰b6:'Ju14E)Cq";b#NXC*Y?VM`7GO^zd[#-/Z KIVaĠ۞e^OHقf*S5, "R/eK-[d9()BOwMj~M4XwIfz77*$:G5x_yg,&Y7o>"M"smG0'i5/ogpQ#un sg-=PϏ袆!P.dn2(ڇhg^Jo?u|9op@w5|02 O쾥8+;r26z%d,**d8[O&ƅ.ᘊ8(iBዾ-MBm@8U~ǖlʩfcZ= Pp%y=U+/AA5?Shgt/YvSL͏͗g \ɖ`ZLjW:?r8D%=n,eZbsTCt'θeb 2d[*@Dv72F6Hq$e\ lh<s-pCO׻ W1亮*ĭ 5^>Ȩ$H;RT)Gn2C$!:$J`7w;_ "xc{*y%A@ږtia)mľ oW!v*ʘ@ej`5]q÷㍶bf8jjRIkV2mk4s4m`T5w:o.DEɨv1etnpo\ e;*¸z,/n~?)͌PYwq\:Etw9jd+9; CftЙ]+G_|6gF#w]c?h6_v(95eW8;RwR49YA V1ŏj~ ,e/O"a„y:; _ >B1 DV䀪ZcRbErhߺJ(>`W2U16:YA#kiOУŁ ّ$k;SP@) HPw`Cք[+4ݚ$I:y #{Zaԥ:"*C5a+LLPS@<5DS{-:ܟcC:g\ry٘]y.Dr>:D?1 xO^*dr3.TƷҗ4EB%P/m}z`f?uRLsLk_a4Vo!`'ΉLZIĊۺX2H` ъi[N$G_OÿV/T{޿LB"QthT^3>u^2% |Y^^I#;cNh.t*gV&" 000(4?nfc#~?[|3qzVʺNCNO]ec0i \e|N(4?uF A1xf@$uV?-Uჹmyv|$7ܥֱ5vR~M#cH⍍[dgB55қy(H6*sI " 90vMM/_ zᐼg.(7uH;RMiXwqwoYٺI i)(Dl->V=Sy 2#vA&OByRhvGml=pPX. g?rB1QxLT *^!<:छQW1Rtenzo ftrfRʃwn(ݓc<Mde:L}C lc8B̾bFh4[Uuނ5 KJCĘdCt)o7* 0ÚǀZl1;J s${5u6Jh!]VPJN,oт&cU #dP{xw>( 釟c,g:`NhU]4#6WS%I])f5%8 qV̜X,COrA%|85Ɠ|TI|,\ջ*g CVQ@B9M{4 [R`'uS D{ BY_zX&Y.箈HGl~RYwVɲ-ww._1$W`7Ƶe' CY[ãAHӜu[\>Clmj-cwPIOUQԫ?@~zꦨ1O U<‚փ Z,X׋5YM0oCkol}C 7+(( F͢{in *lbu8)95"5I&49v$#W`r.MDo'nk[cOulɠS"~;'XBK?j1ⱇ=!b av>ts#pRMɶc 杸1k^U,(6~2 5-{U=N48D*=A7.lΏ|zhe<H8!h`[XߨW3(^2CHu8 $o>E>W$8N.5ߙi؂c±VQh*_-K9K'a< -7z݀ѷmb f|zhUQ=UJЅ m^\aId)B@3t< E}ؕ. ԏ;bf3$[ { /\_2>$1̱3SU(@P%OTHLl%9Q-yb-Ǣ>khJ IWjo(J}gYZ94bcf56d35387ac9d9e927e0fe03258581c111180a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 c9c9d30478737227e1dfb65aec526aadbd63e755 c4277b1ed22d8632a78b2d922569fd4ca6a2c1dd e6968fc17181920ba147e7cdbf573ead3f3e28a7 fc3e83bdeca8ef4f0daa64fac78960d25a292fa5