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 MTT % Password_Authentication_Protocol:threads=2elapsed=104.307cpu=161.356gc=4.896factor=1.557zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 dnWV0V!11=tk 7R=|ˡzQ4th- _J-(67q1ݸ5d-8YNh1J,v_ qW=gr@GO94]Izs!_љQlCkRaFIEb&M jOF&?>1ZcMn69Jb|޺וb|Xp+$"e/Wm>UM7(}eȉ], cD i efKa>_robz>o3 X [(~#ݣ79k 㼪D`{ፑAaTe^5Ǻr?=_U)ȒҘ\C`N6=1l!OAaT-SVx)~1;̑Y9_Hyx.7%o>\Elo~Oɾ4@'DNz>HǩC9 ؊%Z C;ˀW?uo\mB#5pA'}|Ֆ}u)O)8E©0%4-ID8ۀ\vN[n p};傍a0Pҟc<b~Q+:^~A= ݱgYZ7zXZִF! T]ŗXi%}/mKtn|A,0GqE/ (q?A,) [PM|\#hhi=5iZBʖ0NNn{6jt/d!-C-5V{<ɏ=qikCe\_|[tVzIBDA3-SJjmߘچ]BZr1{-cj#1c佒LZ֞cn@D}K^|~aqjnO0OmQfAqs-㏋#g `b # -z>@{V2L%gz A]S,/$lk幉;z!E[}&[3_ Ck_>HݧLUqf'A~ 4 s5wj ܔ̝${8-Y8<):a@蔠W@;ȕ@׃\;+0-79})x4  %cFj34̪1\Uo@D~^<9ȿyy$͌{M #M Password_Authentication_Protocol8K 'ŒRq=yɘgE#s\{bl]gQ) >ݢ{eFU/Wh0Vф5bp`]d8DcjW{YEKYF94v:E`{(;`vXy FUwrLXKAدK #>_$GZZ`?uk,RŰoܛ0DB *'OWy^*2*S1RjldxC_lT`ʲeV Af7yC ݐ`k "7Yi#0\{am5SRfO F]!tyWԂ5ċĠ}|u9&&K""Yktqykžk`ncKxbV/;8`yKҸcܴ, >*11g ^:\Iz7Ck@0N1:Gx3#=Yk K=neۈgr{*/Մw'njV wy5Fi!Z:f@n0펰 `۬.ۆд3sRm%~zq+{ ў=D2b(5WxQ\AEL7Y&x ĕ{]_iZߣ.Ж6c?qp %D|Yo[x 񌑴}+k2 a ^[G-@rZ*ס:T"ݛ04+t*yUDXc?QM@ke[(>ٱ:tS5)(_z5"@ay^Hf/&z mu(s KRvvD.uT*<suuVtD"M+v^ʢVi#w\{_c/'Om1-GȭLsпY{O a>S݉ʓڑg.y c{"Dk=)~ušC'-;Q}^vk;EvS6D[fNG[b@S ?.,%@29T\A}-,Jqro2#^ 7-.pU-)kl\+ǜ jCH[\Hϼ%EY1q;wIsS^s 7Oz2܀L>J)o-Sw$U}rЍTM!]M+)88pj:7j"n-ƶá.K#X3ˬ')O$DKz |FWU!`pcˠR{9S[op J痊v{8=B{Kk;t<-]F՟mdRaF~.~ZfDO*\r1 \Bƪp#ͦ5 >3ziEِ2#^0+-G@,_ޗ9E'Å%l N/]&d$-lY+X*G="*0t#(L_ X}vVA ; ”M%,2fF-:cBp9čupvpT"2 MQ'މP(M2[%eV kzd5 Sn'ǭ.'{\;d@:oojmospG_Z._<}Ek Þ~`]!<|wk38FE6}=gw'U \7[hoٟ_^m$3R=r[LIѴ|H]n f'pd`;"jH2djŭ3|ޤ16q]߿aQI2&oDh~We,ڛEe04qKuYքp ?|}̾ " r>u1^ !PjOe325nSU Z>mƕH-d3|9J)ixshRG3a] e1y6I3luc Zd d FQJy!콿#.l[S& Ðtħ,U҂Ug%ad"?&Gĥ)8|NȘeƫ!I51hU&? Bu􎈃\[u!!u լ߷L; XWT BHhyO݈ =NTnu'D~cO īqiX r4*9tmu{ۗ 8,۱QBzOɮUzFT]P݂@