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  Dl| y/ AWN:threads=2elapsed=103.402cpu=184.440gc=6.808factor=1.787zXZִF! :]ŗXf1-/6vRZ\fV9_y3yKvI=>}tIY{2عg(m#ݕ2Nߢ A?jD١ 5Z1yԄ`[b7t=g h05_*޳dlBvVg' ^btCEkk9Ǡ۞L0&Q<xڒi?.r1.kųSڶ?#zM-0oM-+(QZy V9'd<42SKX7YV$% u|t\seoM8I@2|P9 @%+5}y2N6Jk8rXi$+]i"q~"P X)-0!ҝ`c*;P<^=Y Zdz7ލ`Q,{dL7,bO(8΂ic2 [E!M5*aLՆ,@c)w 1W9ap4ݡI1v{˖|>i8Q;" =Ͻ$O3DpG$P}AqHϼqeYc28?Jz-#MI^=&K B`?(팩ôh.c(F$%zIW?:?]MmX'/[%laWE=8%eY[Zr+ee PJ{!ȑ|$XPw1W?e="zS.c$*ЬPu,KB?s&:$dsX|Pc]X\ *~]b-cFg߫VrZrؖ1*FҢ鿳LD{DzʯՇ sʶ$l!;B-!tv[?/oMþNkr/l)vJ@zg 31Wwrv\J&HpxSM:0D4k Ha"9I` "yz +\h 4ËEs@':苣80pv+Rq~;AAA +I?mO#酴RU*zHY!,$"T(%ȭ}fQ'ϿK ;TC'8 `=P2-[ yUU!:bR R̽"ޗI ً E 76x&Ϙg|Z0^c 筯n.0NP. fuxV\$q;rG`ZW)`}q1+KGW՞ 2>n!*=Ix ZMIqij(síț+xy*c}S8/>E+6o@_Fg6l-#BBe0[<Gx#o2`a7W![*5j+Tqn93J8y2^VI-[K3FKs,.N< >өo,{-@ANCZ ^y13D%A :a{p{ r͕XSIIRã/LrB)G5pZ}Ulyxl eepp42V>F آVbfbSぴ>r?-`=0n{7hEczd,ia..wڰoJK ]&FqR9㕕WBvi#UJdhzg1+ nJ!.? :xFw`0/@#+{mI!)Ȕ*CRSϸeaF㙵!:"w[OKph9s={opcx윏8Bs&߉k閁bGM_  G> RX"ERbf|Y?h$0 ň^'NZkK:@ ̭IMd^Åϯp,v |X6o"{u1ΚAj%:l~FVх8s^d3nEںֺnmp_L@[}??H3E1?Lr?x=<1XN3144˴xlo6GWrҕ=.6 ;|*l@¼cRS \X#!+qFU]ciE^B(4 $č؅Nw-ULXrGA BE;8Qŷ<3X9:fcNPcF5\p;w*!LͮwyuBNԡBx޼xjKxmxM{s}u@%Y 4 z1J'j??w3 $=/ \85kfܶ!*-*7M3GH. 5!߂i̊H#z)TV81/q` ͂4KHB[N'PA+~v3Y"Yi.y㸈uvn#1Hr3eAyBm 1UyOs[6ְ1[$M煉ɿY^:CFJi{ 3տD 9H,OmTPA[PolL8_m'H "aПnb <Dl~3m5.\IM{k@Yz>{q*jV 1_^*砄Vdr?C@OA(ſ=dZt/[R8w#'S:D^z9a e<h!dov~k!;&aKMlKX$HqyQ !b[w;>mHe0<60 b>-t\_&2./7#ϣ c$D4WHDҾC>S6CwA %;YހCLΙ)~#̀V7`S?,?[(ă,:hJ迺hrN a,?Cܳ=ڗL'SM)1)B~zhjAb M$VN֢:(;{.$RNL/P) ̎nFx' >fS;yks Pz]2oQ^7X#]!l菫)ױ]N%U,XT(O9z(g^:ӱL)8Fu @xVq.V&\4:(Tgx')8ư+.˾NkZz9 NUmW}ݹGy͂pȜQWF*%e4׾2uf>;žTzYVjk䈼826382KX&z߭*eRI;Ih%t'6jdU/ٴ.и@;Vt0p !K}ݭ-ZxoM+uVO7F.\)ΒS͊0 V͔ `7K*ׅHNIzr#F;6H뭽"wEcMTq!@ ~38*.Pl#vj >F$Đ)pw{UXT%lgJxk\]ېKP^A+ =lUx)r񵤝!D> b%$ bf-C;hmnK6(da/m :;6ŷgZ]Rs̗\ݔ\܎s HBhu#7<"BPQўr(HMHu۬&kL&5:o 8 6hi(ղYkSr|h˫|34OWh%qG2_ĆIcde}ˎOAݥ81nIĴ[/[V3>a)1/UZsuj0Wk NiT!t0}hU%jbRY {o-騜t  6f*I-H<;#K>dkC@glw9jT͊} PFhl@iY%"2#>}|y7͵f~( iE)&\V-Oԅ6L&{vѤ~*\Zyr$!ޘ)"m4Dw o#PF{d\ȡ%棝6DžvV;y n g{6fٳ~FG]r…x^*  7UT>+L<X 81>@ZӁtWPu>3!uS=",Xߛw!Z֭q} N6RQgqpDSiY}hhng\!ҕY3݇8oAgjW(w>2,ǝ$*&ge #`v{nC Yc,^/9X~7;ڋ V3`'_kz6ڹdf5Gu[i^dhdf7kG/YǑ칡])Ix:8-SI50)wW/Hy-}՜ٵgWDh0ыr&n*Ӑ9j">dqQжOJJ:Q˦7 th-Oӈ[5XCé0)AF/~BpZup="'M ^sV v~PL$bɥgVn T`t 4%*X/0xZ"LjЖv ecJR#H'R