SQLite format 3@  - llB77#tableisabelle_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, "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/ l  Well_Quasi_Orders:threads=2elapsed=29.177cpu=54.736gc=3.116factor=1.887zXZִF!  ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+EL7!=,Ѐ+AfyGU}N@B{ +rftd7{`ܒ| #}lʓ0V#NJ3DZ$~Wɑq3c\ <.=6V!_=ƑUUy"#;T bs U`Dl2NPȄpƁvabZlzH*жGS f#Vr jDZiE;%/`.~Єh"O=͑ڤ[wzurg9&u~W}X^($3JqHGR3ˇedX ?Vm۵t.=IJѿ䖔pNMS$cz-g BMQ%fGqB<\My>ʥ )lOui{L>.yYfӋQcud3u5s Oq)*P5 łOٱ),BֳTLðt P*+g#~ec~7C2 U$l2Sz+ Y#WJq"D3UHvn卟D@V`0^N}R"]?dn1Lš.,̈́I߂?8JFDN5{H8|A=c=@ym&S(hf Y vȤ `$onvWI-V$)}A`Ar^ ޲hSqPc&k빈M4mlt$%ٟnaQp,q)Ru/:jmj-PlIJ`e7!IѮu,k{T D$L~݆DTYGaM~2HNVrtegp{%]B9~"&+y5PFW`CdIY@3Pդ=_O6>[= #I@xjkИzs%) .,=%/n`d<$:! VXQ*&s`8ۼߛUCz3FVA/_U'%gI:$^5N-~[l.KFOu 6 B :MstC !MI30^ : +Sopҡ1pIJb9ѐ6Z@o ѣ4-R-kPZ+l7f&w7t _&Dm&%tuHKA *PP*Y <ƿBa~ A;ʋ%c'Kdj~sC2g0~U[<)a.48$d|5gIDdb ͫ Fs̥O͜mί+ь \ym-5%:ѳyjhQGyј?N|桯,>|Ie1A؆Aٺ%^hʱ0/_ק?Ը| =D֥ᐱo;RElTޝx,L!_SP¸W9FEoMJP2fMN5ޑ,ss_W2ֲ4$`V o~dOx3k9]FH>n+p | Y3?BKRwέ}LL> rǚdx%{&Ge)T~E J;XXh,F=cj:Y2f_2IWO}0S\v7'clFv׼/SezRvQ`ӄkؗk9U6js_R\4h 5W +*Td@k]8xoe'LDL u\a];[`qbR0"]J,G +ӵ7/te}r[~Q=ou'Ged!@2!ݼM9r;N4/|3}Ȳ^jS 2,(G #S:iە [?=I'MgGuV(/5W.gNp`y^lv_D0𘺌w=8OKP 0da {> ^[i)D2ٰ`NPBVr ɰA' wF[MȀjYp/~h*?mk7sqrU$rD+c3D-\3s9u:H@)jڦ0s׺IpۿHx ToCU 4Oa+gf˕#}ʨ 2~7|w RK(_zQNSљ*rHX52}L.@\k/2A\Dԝqhih 4.@xU^kWNgYZ7zXZִF! ]ŗXi%:Bvފ!bڌћ(k"l};h ^H3`^L7W L3%iA9&([ѦtL+Q+qLuoQ ח'G%2fQ2V10HKBX{Hǿ.ߡ^i@hds TH[QM N9 =2㨜CskA%^knIe%ʮ cv.q#{*3c7Weإ'?##TD;O+T>&ndyXH|xWqjE:ĢT-dD9fz?Vzh}RZQ3HwڧI h?دk-q#*wouiQw$D J"{1F/fS^V$Z4T}e<S~ l8 l֚]KM5D̑?9]KJu%i1_b{[K#QپTs&C[IvO#GW $Gvk@ZJتR>yvu>61;.b5aå*w?nUb$g%TeB@lbc%Y,No~Hhn 09r+)p"ٝɳ:ڝ*wZ{衘|N,Z A,r l4n?0