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  \ \9 ww Koenigsberg_Friendship:threads=2elapsed=65.332cpu=113.048gc=3.688factor=1.737zXZִF! 1}]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/f: š=;=+G'}ڻgۙ `T&z@ lV[՚x\<u`MҤsǗmFvaC[3k.<2HrvJ;|kWMJb=$W_6o yCk f(#w&md>; RFV=o$BR&@&qeΏ,"Б@YN}2Ȇ=շpxaW /僞Tvo=CG ش]xgvSdYMq{ͣ3ď0O(Je6>g_uqx̧m!՟l6rb|NGR6֙]I2/k 8bI͚Ca5 5}䒝MT 7v>f  =~z+JR>)lj>_4p"FPEbNIچ^@Vu&ǟ5̆҈A Ϝ&vh}_նw;ؒ(x#]woDꔔ9gCoWX$bGKZ RbbGAgYZ7zXZִF! >]ŗXi%6ב z3֘2nYD$KYh[+=Cz׬>Y&q1您=c]prNw$AUF @,kW5ǖZG-l߉/b]$ 'b,ĘoLs$cD鮟b(UrwMX I=*vLEOLav6.`{>[D/G|nE'] h'wcXa|[XcuaBx-Lx5<\*^f̍H lj@OǝMk qJZ=緧aJ2c8J7l.Q (HȩQ} O.:Ku_3;Ce1ӻ  Hw*8Y~ˑ?˩`?IL5 Mw׳_͕h"?~lW P&6x q_>Ega )՚ճ^ 4gDW ]E5uu pI"Yv\dRJ)Cҝ h#uU|8L. c C!8p0- 5e2NX`=v6mkss s_mK yw.dԔयzF0\ g.#r[ PncC_Ӌ~yKbNln3a\Av<@SnM-ejhϱ}Quɫ Y+Aد}R#_B_3ylrZ&Կ| Z*Fd]fO$RG^(^ygF iZ*yS|Aiz{5ə,PhDA ~xxΚGwu} gSG*".nS"Zhi+Cˆا0/?m+,w-cӒ>#Y[?xj| cwD+z0T]d/7CUXu"klԣː,rTt.d4N 9r+uL2%txo6E<"%B췈!6<_Š\Q-7JK!pY#`e񇬶\Xs [%9b" =X8Om26JItk~n%MtAC𹹏2g*SK2)Ch SA *}PJHP_UC]7P m 4]{XZ AԟYwU>t?,m_[tP U.Aҡd?hNZŀ-1SUYKP/BUsʖ+q^C'˃]A1yϺ mGxYW .:RG/&4 jV0v s'(NL 5g[謭&udf0_iuQSϦ0*`wú[n-2Il 1߄تyQ5˯댑=T踭&DtD*Re2I|NU~&ze4~Ȁ%e5CݽF@d12 Ji/P~ ey5P G4 &6.YyJaNH8@jD#h/]v\M' [&˙l9QpϺڤPFA۠p͒ppj:rIHКҚ[vT#k<&|| {#"0tnAXvgnBc0X:`)X9= nlJ TCDZcJshNW_O8 i:2zj&Tӕ;fUvչ9j?~sOɋ[ YsbO|i΢CTo ه/9EF<;+@U;KZDχ.~* YpP'>Nw6"+_l ޓSNiDJF#2;zwvL[=w9$bԚ[t%܏6!.d  DG pNq6MF W"x,'5Eݭx#y7q᪅JFQHbj&x]:ꋂG2Wbتaǹ