SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 j#,l4 ]/ LocalLexing:threads=2elapsed=90.100cpu=138.764gc=4.528factor=1.547zXZִF! E9]ŗXf1-/6vRZBfߟj2𣌑' * 68E(a)l8^ •Ww+TLζ7L=Tp6Sn^7nVkJKS1AfE\׭17uIFǀ9ӇdSfyAi&A!\UwS2$ ߻(/6AAk8f`DحzU܍0[+Iс6IjP(/II9).IرeH,tמH'STbt2[G.]uI~_A'ˍi=?ʱ*-VHLђV)?f͞eXk:Z6d:ԐJKNɘʧqSãKp3+e];?(ϻ3G1H<1Zghk#;|B`LU3 x Shy=iiZY |e3z/Ѿz9v)#ffa4we xώV|3}+AIZ3uCX )E QS"u>UG0&DQ~^c3D ?݈a1F4Y?R{UsلtCV*&L58A s)niͮ=0(N$GLgz0cIw;mpڸ* !PH$@3A/aL.i#C40d ߜ S_| b!+p[J+((jy7ysϩ,/~ć^ *T!zV?N-uD`g$*w#?k$ov]9|ntVJQ]={}cޢ: q1NfݣR+yu^\IʻdoNʞ,ʫu0\2/Ȥmul.!Fa1&x\xcH-WBU ݨ^T֏?}礀(3HK ! R-IY뉧,n%"0oOn?5. ɒD룪( =<>f˲>\#@t$9wKR-+.9}=206 _?{O6̈́Z*FC a0N|%vnin,ld%wp mұgYZ7zXZִF! p]ŗXiɟ }@;(L\OQ3 ^<(ELSsϚkE KW˦MtvbonA*p,hWVC͏c[e&Kd`g CEv.Lк;;@l'2EˣT70$m \5.\~w'Y@hk{|XUL~ Q#tJzYD/Y>t)}k'TtnZOғ>ulL%jBdQ)ԨM+}l&=p=hw\`b8hb>N<]R gLeEܰQ Z;gYZ7zXZִF! ᾦ]ŗXi%92m-6:榹\`5v!\v~ld]S:]dm, cQ?R-C`gH# ͆i4<`LUf*cRXbZvL= {;:\q >)I>ӕt$}-3xIg '6̥0 iƃA"JoOJHW/ 4eTf}dm1"8qpyƫyj$A~CNYj:F^EWg w8xf\Dӏg<4.%(-r3; |Ue ׎c\SW1+PJj,mo僆^Řy%dcR08VN bWvsm3cz+Xm/끳Q9!u7^5 Ge@x)=84}19`wm. dbv.-S5.L;V7` ́ #B1%d\a=&}vbPSᦾ]Qt<*]j?L:\s֨ˮFQ,rl Utg6!_vMRN@VakcdnZV  0XR"ȮEV2O'bJpi)zĮĩts$%v. /℣NNrB%&ࢭw(΢0OdJx葋 bH "…4KIqKP$@%pɐ] 68Tۏspq"59gIF3tUu:6OBYO&;fbM10{9l8`y!*YrvM5& UQOw=kZ<(YTvq_Kj<ӛ&8A oȓTk\9tz' *ȪQ\9|)t&lDD 5YyzoZDL넟Buk2٤ɝ!]M:<΢3ה 72ڱ4%";Ă MjkoY;7tӲT#kR( սHHDhY詙bGV4ɓoxgRm]J }h\a#D.[Sd`% WLenA(#w\A~>}Sh@&aXS g`a8]ln&dӨ9*"g%cT/{i*z"ӕxgcIQXf\=Z 3*`NyqxQc7V;qpߔ64lmyBQֶC6T%,|Wҍ28)5qc{',+WSdzeIY#(>Y|I@ k$#B $r<,drἦ$Ơi%*&;q>Gu[##{XFj@3)IA`vO}2#뷸 *VHIMTh3_47bɃxiK^ Cn@cXB дIn>v@w+rke& ?/l_ЧIU?՝=9%>!J#t\WxDsC6/ɉt,JlNct)F D @8J$,y I$4{oeF }*uj ̧W4j/b\EDITzLT0b&8h.;,3鿵;58qv32bѡt⏤t %Gc d*Sc",ucRb$Js]@`yz{Y]7I; .N4raviYUTTn@ıb8_;ZglOߋ^W%>9\BY4 iP*'wlQ+w ]5Q63YMynp,w K^,$+qqy,Oq/P#X\؄Qi36B X_ ~ݧ-DE&94P!v`7Y-eIெ J^?@BOH![ZUx=񖇰p NyV]f~Љю{ر1 :+Gh *֫B-qpɗ:8 ;/3vSGwRgq -@~%<+O͵Ed>/ɤi\Pf!T)BuV9*Cf>ohS[c1P: fTTSݛ>}TK5鯬zG7i~,aus_ E $?0\2ҹL't2L?UCh2Oajgeܠ{WAb Yٓ;om%R~q܊.Wi lH5+˅ÄFUEUI0]]ub1aѣ + FoP}8r1i B+#x ␨ ,vgGX[5DEOHfGGVs DJPӾdHrH@{7z?gg?0r6n|ȁcՊL3zIBqe5}f Yl4N{-)OðnE_FIqݫg&aN@ lrVw&3KZ'p!;*N,dP8fi^Ne> B0Į1RƷ }6@v{LX =zznJ-nBl{CƼsH+@hJ38jwr6Cn+!"2n%薄?uz6x\&I(# 7zM>ճ-L-SqUGJEAisiwWXmSC Bpl.;Ak?#p#0lG&13o5R40kr2c>YVLRj#$ykGjљ'$í*jYK1CߏKuQmUJ^v ayY-m'1 B b W ]r*Wm)ڛ_K$-HFv%7'iXܞgYZ9f0f26a4907b3a3d9aae7bcd2f91780174347b6d0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a