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 77*/ ,  Well_Quasi_Orders:threads=2elapsed=29.396cpu=54.688gc=3.056factor=1.867zXZִF! T >]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ Puz˙453{hS"v`u1xQ0ɪk(nn-hqf/{s%traEVʍ)TYd0,e#M1 fnNUEـ; i=M 5_S b*Y\uZq;pOEMκ{_%\@V-1ݔFMo-ocǸvi~mP|(o@ƙ;3,IiP\-rh^<%pjv1P>w-&ZC yU𙳯[iDQډRͫu:wvxK]sRD^<xE#cـ> ;~N@/@bJ~C\XR䁖è}E5PZZiW'Ӆ7 :+!㬙y'T̆pծ5 4( f&70z?IСT / Well_Quasi_OrdersGzDVi!v )SF D@ˮ3=]|Q1XpG$&k7?RsHQS4Uus`h|Sc[bX*ГH9m6q>xw;_L p4RH ryŨs?dFi>]"!Hg9~ߥ܋7m3}n;9iP}LT8~ַ5o6UtXطPB~:-6Ik "uf`:%J*@{ŧUS^+L6lQqBgk 'W~4GAf'v;K1:mhuM}\׏H.6T+rKCd t8]>ۇf"TJWIu;'*/I&ǜr2roηCa)9|6`QO|*!|:RtfB{hyYG#gC}9ƺ)l"a5rQCq5 xa4TJ3tVǿhɒAX5&#!Os :C {dNHuRA`Sݰ6<¯|E~ߐEwQct?ͨ$=iT %HlQO"gp9c=5j*)gY#&K!ȕuOY|^h*:hpՄהۅ>g|9MgpoG}\O|; 0r7Rvij\G8/X,9189I$n6k0kl#oi6H1u xĕ5A\w)B,Cu  c6TZz`fc؃f@JSMז"w˘K ڢmcgJ} ړ&*>6h^a _pA>B=(VAF`gVWo,/QqraOYֶٖ0+LZUP2]["NF'>~Ul Pm ?ʬKd¶OM*/ϸTգ&-s\jV5{]ȋUliɲb[X!F⚤Er O-V&uUFsZĆB!){m`aaω?Ǧ$xףҰBCCc)5Me"A凣 >gC,k1`95 (T=ዾ˳zq wBy0GʳBc5z16ɿPF+#poN~6s@(Y^MND [49SFRAn.%9$߷_amǀ&+|uAX V-v0 _3<;5ZBIg6w=/` w 3h_K@W1(sq{E> _{:9b5GeXf1o`IʸHXwIjs(75,1W!jm*q:mf+3l C<]q\E#`#߰FxA]Coq١«A !nq2X67 ,[V@|8Ş^>BMJQ11 aXs˜ IK.fϐ? ?" rqg.>"l[q@`S1BEmK,ࣺ Z*:IvY7U__-KAm)%1] :t*v+MjT džntjKZ8B-2>RQQ<=iMWM@$Au(5Iƾ׸WpD{7yQR 7FR{7/Ƈc㻫!uy8pVB>dMh#Oh[T&=q\QK X5kKU1|P{hYɩvq* FZ$@W[{chr?2_Kŋ}>ىp1˸D ƀKaU)uT_Ae F1I{7霌o|Þ Q}@|Ǖw8ɧT}J`Ԫz ٝkJ-vs-cOJt;O?6d5_|s$Zp+kr8D {'7wohbxib&-w.8Z8x͎(nBV4a9a$i&p6:1كĦI B{V(gJ=yt=TvZIC # <ä4R,_)&j9?/1%z[/E֗nN_h7xvŸ(Ͷ2q,6˒T&PB;w-K {F"SDG UѥB'8`g#d3M,*9){H-fotqrҜgYZ7zXZִF!  ]ŗXi%DQ xtͼdX"oLjV 4f\ftx'u>f+A?򁑇Y{&EKZm<28 BgVtvS#(+b Dɽmftgn7j*"#Zuu^;C뒽&`p%`3W-dM(V%`!IOrׄ&}.n(|n5398/. a!Owss8Ā7ΰ$D1=%{^ődžMy{?h?{R"C\t 5Մ4=zZFrJ2}qsg^x5e^oq^XPj E,x ]ԥ)'`N!v3N @Fz@K?;ra+C10 =ESqGp@O;<‘s\ZbįIМ1|ڇ#;"vӵCr}#0%#@m]#tS:AZNHuJ {tWE]r. qa?P9N2"PԉŢ4?kg"{x>A-0};+'!q>#Nk s3.;.QQOʅ?ֽH<6+ڍLC}:7*BUo JL_{kl^rF>?2;"`%=)ӹϓ3U2%#8V-=AdaKB׼&Y/Y]VyGA g^)'C* WS