SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 8Mdt ] Password_Authentication_Protocol:threads=2elapsed=99.471cpu=160.408gc=6.028factor=1.617zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 '&qC椳ރhjW;_\#ϭ8]7p}{((d69„B *C-0^S9]9: p;I`χf 4Nl\;1qy>mA1,q,3r/kB2fVzMN^: ~eg=0.?eubMb9X͕dX؜eǰN(W HU+Na7)jzDK(qX=%eYmT=9aqZdmJ9R)ZJCvv6bȏ61ybV qQjБrYa֮Ro 1|C`\Iat/'Whdpă(-Z[ ol )X1 lC Hg;aNU^,v"28ߘz RTj p*wk PU' +yc]U e ދ1T4xc?v 3>ktNA[Im1CL=;C{յ?%pη; &;wG8J"%.}j=jy^ N%elKk{K/b!LJtul)yDvh2PTK8LϞ^> h}iuI:Q2 |Yuj<౥㍧Z3\syB^6eT@ ?1̈́ܡ4qk=cS 07 7ʶ(d=L|wYS3 Y\u;b(TK*ci'?͸Jq0nցRc51N`#3֯ Or&E> #M Password_Authentication_Protocolo6‘ZYZY [$;!nnuBbE9sёPrC&A_<N 6/"RX4ݴ@%# d`l/4.d{!X0v.ēHmM3zԤNt0 ҡPP&UzqE ?Noy4KќekE*1Kp4D7c<>bM^]|z!,YՕ)"g%$!ɳ=v wG&eZV†DaN;H?FŪڙSkKdtkǗn8'PZ R z͢|Ix2U:D Q8pQ.^*HOT0{52r"7/Pq@x؞C4\ sDbJ3Ӈ}|MA ڮG<94s<4۵0"L6EVT߼%`P8ǼnH>zU{@d&J_$ l&"[w} %/X͚ʂɓZy.yU՚D.1rWx嗙nz-@XsQ_$f-zbHh&U,S4ϛgUk$)V]yY[- 759UxR Tm}k^*<=4jYhKH۩5[h>xT; w-kVY܂6H9( X U=]ȗn`8pCvxZ+Аg~Lk2O_@^r.$-| j5񞘜);JX:Cs"f< lwFI vJ̲&L2Dug뫩ӊ"҈nmV~ UwPWEcHwɜ [fX3=##^9+)9# xv_𨺌=9LSoSK61[C {5e/  %{q*akOnB6YF}x/So3 g\@N1af' ~Z999JD\<BV6Nɜ0(:GgyQU{8r(qjvn0jw/X09 ꄧOv+&0BߍںCC-๵K;Ӈn 4sQdJZJ %o/դEfo:UL޲ߊ+̊V3d ZKDjzʺ.4r zH`vpuCst| cY?S8B @J9 2igBS@E7OBWg?܏'d88R!D\~{M[wU91>ilsyC#Ƃl5+p=kĄ%cCע>EÀbBQ1Bɼ_pަBQIxx)V)pu=%JE!轷 _Usb[gқM;2%{a4'wȔ8"TC ( oSB}ӀErϔ`0Oν$\_7cD_湞vz2ay˧h]^C0岑1qy#G^#;u6QLkC5bއ7*#ƃi^U L*Pu4 0cǒh0liVj%,3^A2Hl]eMK9b]fⰸFvd ,&/s;*U3(uhybizN.avܯr's*Jδӛ@9l5AW`(C8Ik2Mqe'+Su5'9yiLdM܅[c oӥT;qdDB ®& 5 >.ۛl %fPcE.pVך?&g0TPfÜHUl?PCAe(nT}(Z򩰨%~ "h~Y,]`"F.S.2Zh,W+ץ=*XmHfzVY$ tz=l)i ;G͔ږy=?%jq9 ֿ+?9`r`WYTQ~tj:Nmj 0#( xjws^* z05؂ l U5"wJT OT^ULaUq]H 6iQ#c$x{|ފZ( b/^vSG(pl]PǸ/.ę