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  ` `7L / ComponentDependencies:threads=2elapsed=74.454cpu=143.140gc=7.300factor=1.927zXZִF! u]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyxb&hܯqpJ곙6cUPKp\cDSH' wS|+%\E#XJ/yp#Ì+ ^e|CTTL ciku ýҟ'_9y7`}\*fm 2w p]^(ַs"E,5~p"'3Z%~FHGw;\t hG*4JdsDr.|nEϾFs{w7cӮo3UA=y^OWtD ]o F ȍh+x͹!!va_DO Ud=4{1=U ރl mhX*bTl%ˠ(v|Ѧśt;XeBU{HMDC6D*ځJoc ^ZL>jRZّḾGҰ3~.t C44gYZ7zXZִF! ]ez]ŗXi%6D18py7]+k$bWc:FdyUu*]VQ>/%?gKnpt\j[hS輘0֠`@#rf$sl(~bFe FZ}ī<;U)1Įb@,knĐtt? [ 4184b'0qhjpmoMZQJ#&e$4y_S/B`XNLrb. t]4s 3#O` w+NB)mmgLbqXnm?sD捻dXKYm˼^ԳZ]2C[fʔ(_O*ǢEb2_֤ߵ>E؄GΒ7lAK_)(}!V*T)nD}0qunX<P^|&z%YJgB}^ɼ,l]_e]ye֊ { {tdܜqv4 ud.%"qFpEe%[^2@q9 <\h2 OMP7c .e/@8Th2-OP*~@Y@F&ҋoȂ'^zDpB u#f(tcγ-By>Ikpj\T~]= ]Rɨ<8gg8d`H8WU p og~ 4mB.į %Pc(# +#!}O q1$ਚ*YؚÄհ.w}sjĬ5&S1\˟ٔq2>yMwM{hTOdse.[OI8g3KWu՘H1^_gX$#qNSJ+D~ WM8Ī‰&(#p~C۩k츣Eqodc[M٨D>4j(#cB\*Z |;Ć͔*sm/{5a&no NoKrrX8fS+v5xJۼdZ'|u73l4x @'мH䢟kFDK2i5Y g@p[<,îR/!Ir+ v\6w:&`‹O_0gj`4]V d$;,$ϠísGd@nj"n Dp%&Ϗs7bM&V-I:E{a:ގ$#ɏF/eѺ$6?l[j-_@fm|lb3=3Fz~=:D6`gyX֕VlcTcfd&")U8YlMn"GwLNhR}=gn+ NIܸRMN(W妍x-(XLp'͗ \_B.>/ͪUmB+7YN+}},LџEE7x㴍ǶI9 ˔$w{* x()`;وʞ~xBli S8b!3Ǻ1:2QlqNׁ"ƴzrp kw6i9vx D`|Řߋ o/'(l횼MbA 2bB*5?( vvMNB9)B%HHe8Ρ(y۶'o7$P!=@|5{>: NaAG>$z`Q0X Q.M5?~./I!M 0-zgؠl2"}{@\-!IC8|?}DK Q9+G{-mKIh8T_OK;`%[}Քk1rOO_[r*P!4~˹2IoOxKn