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 A \d / Heard_Of:threads=2elapsed=37.588cpu=68.132gc=2.376factor=1.817zXZִF! Uf]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S B2,DϗdK%   Heard_OfSe?sG:6!s7\L\q+ [r~R#N,1,z5X >&݇Z |‰8(sT#Wpq5 ޞvAkoq@s]MRѢͲx*t& sGnD)!Qp-|ZdU:@ pH2nyO6%%Ϻn/Ve)&a5 ⳾iH- lH<|zL-=v9G\gK9uh7o6XbAƓ81@;)T?\➺:e< > n,2π@E ʹˉ"7|Nf5]RdoKg%=tDOj?bCE2~Nn@s{S"Yʾ>|Ik(N9 n 3b}@\^}=b ^sd*wyoTI)yQ`W/wy7 '\hyW\и k%k솯ښ}?>gcwG& ZѴK&3e0ĉx6%Mn1Y'!T*&, +A){{ٸsyʐ촽uUEN^<Ƈ,S|Ls%Q*OYra ǨjFpciq~, ҦG7ƨMl&L+mm"O\_w̓8*v6>Y b:1v=[A ]IBF&^\æȵL,n6* (ݮ~ɝy:vai4%;xX!S0 &"oC?"Cn#_.&U݋'\ob3S'/K$Ix! 7O#Nʇ*dUq.Sۿ" |}tzi5]JMd: ͓*V NCR Ujh3qs,7m`ҙ!wib烏V;n"˞/=(^Es}5Ȑ=*@x 9Ε HS ^ dBIE:~4'oghqɖeLO'ղPUgeu)Ÿ%h S%@h]ΙU2vnxP.KHoT?Wn w`DDB-o[DkXL/Fsp3AL\d~f)|Z?uDo֜"`BjBxF44}"O{ g+- FcKr_t=𻡮 Ćڷd 10O gЋĽ>J3YHUEτX2oaʠ-DTR%!!#g)= a\:a]4뀥dPG̔XshE]KuK:+1}=xz;  ;4e61x]/7 [BowW[3Ujd0)4A ё(U5wTE]IX97m ăjؔA` R!yPpV^a5)qAV.fڰ=XrO_? LjhEB>n9Xz^F.׎$ɇxLWCL=[=:Јw-KEGN>x2&"XM4`yS鮯G Qa:dʭQ4sQ5ch|?qܛP,%qY!XZAl6P9}SH]!?0σvATxJUwJ":1b5̵?MH>sy2r_^ 琊"##Q&] *m*|\ lXfñK",dΗPUYpjo;Ax@C՟SQ,*<}@;֛r Tz>[o%xQ!ii $[UG{y91:]<>K'KI_BuśE֙LLwX㘍pzq)3EK~:ηp#F 4W4ιUD`b:)d_ `B,W5{5"|Vóa/D.Up\pHQ_%' xeTvrM+xR e}]7>#m.VJûP̷Z r4%"< бK`X6LјgR5"_e(˛wݏi.s@HǤ@/*8Yh!SU%'$Ҥ*q_Wz46w*۳$3C`3yGȷBp5M򚐴5k3CR Mi-X!={0*tn1#ws))O] -Ē9~vօiq^pFwcR1-dnR((%+tHb +ޝXpD&eB8F X<-^oh6LzH@[П-)5{3mnLCgZDV'ՕPPCs9yVtϣsX߾9ydd͍WJWY{Cmw'"Lu$.khs\vxrB֩Ce 9ʯ1Y}W~RV샲roh[q,NrZ t/ ;uC^dgW&ql "\G}LU6Z9_OW`+ߊ‹.Bı{uv#Bz`6+IA++5r_`PIƘO{JzUݶ5I3 _+~Z&/}%!'yS'$PtǑ3d8$bJ6BcĞlб hy\C0fx8dbT2{'1@ yp|X F%o-f8>q2\٪2P[r_qO4uM݀ʤIb_~RR9Ǟ,)Q>l3c h q2,cMRU'"qޛUP ݡAsw$E6ōߺc6CThHm͜vNC;5q djPo+XW#j ;~i~XS@R~=pg}iCvܦ8RFd5p PYze4`UtݭI[7su m¬g/RbG_Xs/?q%~떒S;Y8)(huQ$[U֟ J/uT%`p/Zk@Z8ӿ[vҶ߈mAпld`oYJKUSe Ȱb4a-ct)^- ؊ `:}}'H3ȍ=O`U{A%B^gYZ7zXZִF! e ]ŗXi%zxd4 Hs+^fMb7fgN]m' T" zTqd1B?y&$FRSB7xb0]7!lc# ;\0ff,N`fcʗ{%"֌+{s7YbBpV nCDU_ERgُlGu0+V/6+Q 3j/n z2Kwh)Kh+|%K|PK>ԑ_$Ú@!(tlq6"V+[уx=GW7;ꘖ'FD2*?QK{cC(TD2{q{Qf-&1TgYݝу׉ Ev‰W?ybiiQ@Uَ5*ݭŪ]'u$ylM99 8+ {(_zm=*bf1ЇbF/}{'Řu -{bRby F $ *ɒGXxDңωF1c r4+&f"2cL$!gFjTK%EڣYU&Tņs~n1nc7}U7?.C~*Z*G4K"R@s>C}ܰpcR:7>o|Oz ÊF\*֑:$[1]>|e/AV@C>%o 7RYU wr@'kXУ>.Mݮeׄ$ͦpi]V^dMtNa]wsS_vr T3&~S t#b~`cͻN; >#Qfv~?zVHQ"*)i>E\{,<dH`v5*ƽ|0KǺiѼ[IHH#R_v<71 7g~ӲAGfW,~wHzuQ LBjVRNn¯$0_#ddnLqxy/y .8/{5k"c5IM\3)%3*X]o#ˁ MK5X+ N#LirgXjOE]ܷY Lv6qj'3>ʳKX٘# ='RCdx򿽿J(nEIn? mVl9@Hv>%U-l:P6, $?aBN!"Qꇛ`ɍ z6zF=xB]R &;a7z%{˲8L\,9p|)!7Di'?y{_Ib _FBɷt̯$#`Oc~bOH 4XQ'GDGւl5sOSC J^{jCg'py4S$8RdS}6uٳe6QD5]8M+Y^GQ@z[E.B,|W bxK},֐8kEaC QJ2uƮuÜ6[ZkɦCEw;P t_&To1Cb.sWJ1qHGjx4J_?,yi!v ;,֪p#r iN|R4lH.h$mKqYQ6Cwq#"#]&rzfGy'=\t@JrBY\ۨ9FR.^Q$.TD$nhcKL[5