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 MTtT ] Password_Authentication_Protocol:threads=2elapsed=103.886cpu=161.424gc=5.236factor=1.557zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 ]!p$ȵљ!U.¾OOʪmbP)!L1z)3!/`F5W_ JJ/xͷ} f8(" n[wZu;76l jn&c2ZmUvI;)eT94-{&Xi+CCOO\Ҧ7xa"J(کӐ\%U2șA%^"TN7*1T Ǚ2eӃ֐T,~y\T7 f?6RWKT,NR1Vc>^[+K,Qut"@7Iw+yޤ<,'fv(T.tbsVp`V!GGߨ"ZmWJ_rƼG'^T:eFǐ1X!2ҙ%nuNbϨ*Cv rf$$$k"A>?<^G}cPx*L[yR_)X;x1_ŀّ[T6E:G/:NH[?).PAn^ Ո:XO|dE+CQ|!s& dS_])k=$D6gYZ7zXZִF! s]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡$v/ Zрs;ذ_b7ۧEoJyD x@N/$̽ 4ޱgYZ7zXZִF! ]ŗXi%Ϡ9'd,_Ex 62HIa+޶x]'&"ՠ( v{{EƊ#Z,6d^=;o=' *;fe:ԁZ?Y݉;679ˬz0d)R( [X>k\!8_d|bɣSm\[JAI(X"l\u4&:\f#%1"}\IrD-kJ0K9*{r~噚 +VK2Iݻ=0K5q.BҎ󔛌GS'48V߾[0Ϊ[,o>ə|1exGRz |2# @j.C: ">.NMj͝z%}yעގF>5_XƖMK]\7ynSPʴ)oOtp.WC[ŏ En}jjABA~!IO "eA ~Дb #M Password_Authentication_ProtocolTZ36 H;{mv %2aORbQP3$$3urE.bΏ2hPPALP3 5IJ]%<Vr菶 3BN}g w-b!$^[,-63ܡ0f (4>p@ >a.$[ZϩL##_[*mkƁ>!dL1yc`* ?(5 {3.x>_4Fb*mPzw-,ƆQ8ywsѵ|q O\LF`Z1WE\UuX?qu'sDy3Y1مDfNV\]!*Xxj^<=r bCDtKEmBpL,>B Gxؑf`vssaQTvhL Uh@FNKne$:!P4sJzAsAhӃu n4K"ߙoRPڜ2ku]96oy?'&7O$K<-_G;aٺ%x[[KM%1+ox )1WZ/!gPI Fwo7PZ0 "Y,oڿ5}p: V.!bCTXXae؀LC; k]A5-?Hٍ l<4zK' NU$j˃7k7.^~B0$C!*SC,>"*{zW5qwr莬~0]ƧP|A"ͷH^~8v% 9NX9eHA &6ʅʫG+/NH7hW: mﻒ'=^ &xwцwC'Nz-&>ɞBt`n3&`P5K?P% 怐w{cݧ$$Sz K f "}+UeP8=!q*s%Rc1+)ԛ#';\n <ḎxWSZ O+X Ď#b?>& 8^V*{Avxq~E#-Ub5].|odm̻j*%?d ׎~jW>Ѷ 2'?.\.#!zt!R^o6޲\%~ňx^XV~.ʋ.iNqdqqw~ʢWa‡BsOTNN>P٦[@c g3a1˽+nc*3I†G:a.zk+Bm>N^`tͼ.a3k[sFgAhn=fmeOLcm<6lffvXt)*FF._0dAV,ѫ6 $ E,$M''Lڎq٦ 2'B㕼JГa7;) L3m.ێo D4**}HW(L; }0/5frR4QtPX vHjKf-_>zqSksw@:%"ܺGAjA"Iٞ]cwUuvv/Ks+_02X F\:|w (X~>^;nze]>5WsP>k7w* VQ),UO|Ũ0'˙aH@10$C}U4up>* c`" rQhE~88s]Y﫾g@  eVzoIaнzd޳"PѭnZW|Uy+^ 6i\7ukvӢc AfA24GB`08=2 %4tD2lWDZbAW>G7AͨY(rA_/+up1$Qm+S&)|*WM9o,Kg_F?18O|4`cC\ڇG}UO&jc41. gC oW&m/P? * 4N_&"Ԕ}LVcG'},"|/C,Rv[晡oe:;5@41$4ET%L}}OuobIDzaq )N?"RKcQ-'Nd]զZ r3evѓVA 8AH`fI\` ,BY?,{.8fd$kn?@<gMi?Jz+>1[h3e !;'u"8R$ {o ]0 JЫ@AmyTjsW\UcVk>Ѹ5u}jq>)>`m27 )'jE|9N@-?nLհ8-|:Ѣ hI* 6 ty߆ dM2 oɎ@k.@hv;ī3G/ZA}}d+zF\͒Qpzn$ur͵+B[f T( ~n.Hu|=uHx0<2}^'"p_SSVW,H\A \7 hD@(v:úLR|t]tT7FO݉TĞR޿ 5΂",ɵrW 6ҧimù\KÎg63Gm 'շդFEc;>jc:L_=eaoϤnKOk*,GwW8XIðqƁg.,DI0bE0ӻ$.q)v)Yh֦s LW|kAtϡRµPn%}7w,0{=FyʶAM/pz"@}L|"rEv %,5sbvwJ;zP^'Mq #mE Ŵa2?j~]L Fz'*]Uy7[+"ކ ʣЧqg܂I PQY5NvoUSr )Z|o\އ