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 gg5$,< ]% Collections_Examples:threads=2elapsed=88.962cpu=171.324gc=7.832factor=1.937zXZִF! T ]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXb&Ǟ?K1HNց9͛o30ZBB<[h-ڱ[!'(5hk%EiZHx *I+[;"7Qy[|oMo9\q| H,E7iapt׳́ھڿ+)lcD%Ʉ ,DA*Vᛐ Yu)u+\h\o5+/{Ej8u`x=)4@+orߛ~*(X#Lvj/>j9%KEPý3P~҇lEC.3)QܐYZy .C W:^`DJ(̳i|KyB )t mY֐{^Uf]Պ @81;ob^ t1+SHd10V ց~Ū@UOb,lo/_I a/`<ڈwؔcdY2T ˀ"OR(X+&0O@"'HݪQR]Y-qh$s=.;X3!Du}ߜa*<^v3~86XJˍjǶ Zx }-+a×pJ%( U7/x O;oFdhl#\Gٲ [IdHݣcJ)̵JZXnwCPJ/u/C|GnPyV8%_݆qL.A6R9!/0q&9 0Wy]!#7rvOϪL'4 FMQtPTɘe0o]n骨} 9ge}t{T 'VT75M\'w%Diн+i \Z=ѩ(e`Q. hپRNA"r\>Dvߚw'g몶Sl=;&v `=?h -@_Dw[4."7O}%G.w*@ĢQ(_9Ӎn9侟r J22Ra!Bl%>1}Q;tp(Uhvq@߅͹?n l3x0HRU` ,(DP]Id\;Vm+aT3y7SS~8V^L`˸R~ɀ)I~ynFU@\3m聰iKU&&94+`+,~\33ն3OX7~:yGqDI`^͑DPRPF N(DdUmyJégYZ7zXZִF! ]ŗXiɟlAC?H 7XzW!ի.y% >fb{z]E݈#tTúp"⦮oOq.Pg U'H~`Sǵ1ϪAr>pnDs%!Y֗λ*mBcHDz5ucb7zb!4q¶`Z-Z$3ҟHj]N1zZ qhf:8VΨxTC'K+B0QԐ`Եyk+*I Iſ{0`; 7_RۡB$]dVf`rD]⩅ $r֤(&ۜ̍N<_ BxR0C֠&Et U6:gp:Ć(߶yh`hu: H#|soY7KqW+ OD lW`b}*%R kw@E|4R{m푦F 2S6վӨ- n%*[@?=0, "^WH'$18zM\(b}ަȫqK g}:ھ8 OǃQ3+.f!N q!JZr;8OBNeU1l99BK? 8K؉r^u]Cb].@8:`hAM }_EEWo$z ƲgKR\mW ~c2c3J4__sAl0g]HiAI2.L`<{4(c P Ur;|of; SНS Esgҏ]<\gy9iQ9J'*7~D`#Z6 H!} q+d6{q}$cm#)~/XFn{@ٲgtUO3utt# ]s11Px^xTSȌfFS ǖ2w-m%n'ߏq"|53|w>\ƀ:˳*# 3I[; ϻUMJnUs:^f2֬"p.6̪ \+wyMmeNs|y MGP^DGryyޏMg~vu7yio13{Vi~;L䩆*C*-Nr58c]Dfʛ)X Bw7',ѩzY"[VoADŽ:vX4Dȁ4bN~E9?iQ$!2(bGMld2]-8>{P|aPE ˀw%=LHYhƔ.8@X._(<!Dv@Qzt6ߠz%h䉃JІ`Jk4̱I;7@$p>HE*RpnofĎH4T_؉}!SE+ u}L7-M_e1&(}]d(#F&ՊS?2%WX W [#2.]0FiO}昺)5D\[,t!vx\e/e-.ؗVQƊ֎ 3"sIWj&mf B'9ØOHc$UnrN!L2,nlO >H݇  Ӭ~;-Z'a>WD'j0ӥ<b-Cn vCvKDzpj8 (ʢT'f]Zj|-hQ9#Rׁ E[&P{-@w|:=ZJhm\>!jU]D(0GTYEqK^TAams,wd)ߕ89rpZp=0^x+l "C|FA9V>.9W_A+o_h^f C|H߳d3T-rB3נ$WD fR&ULc _ϙ!Q/V~cMY|&`߻,S-KDEypM_D)|5 |ocgYx5%J{|#\p P!#pӕOuF[P"K^i:D+jofZ{?h [Udub)Yp3$G[?_2|ЎPWkyw;|:Dϟ'\<|Rj[ԹQ fG,7~7+޼Ia+6;P< Ӫ\*y)E3ղ 8B%W@ASm1b,H"k=Z*pwL~9V⮑dc%BV?k)Y̒ڻR'|f2]yr|sj!`2,R yʷQe(Ef~o\r<=͈8HKF~>X:̞4q8ϥ3;|AJ184M:To#x#,a*4rfz!׆j(ͪ_1!)|˯1:Ot-HB[lٯ ע}xyV{nTs+[_zzʩ{wϯa*1φ!1t2ۦc\8,v9_I7i-LS_.Wմn|C!KA/Z>~_Ŝ-U*c\=cqwmj O^PqC*.|Rl*ќ7 lT/6?,#[ǒ7hjX7aGV>.%8 M]R'MHM{T+HىpN$sJ9x>͍v<,gdL?z+d,0(C=lG/@]a؊ced8- ab3@>fcYФɆA  \xJxx7*~zR44u )z8LJ8bMF-Kq-*2Dȉ |̦ƒ|E7ǘcSR[LNdeG j'/#gmWh8 :8 o3ub#ʥ 2gYZae9638dc4469a3418db76c2b7df3c2ac3cbaa1febc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 fd62d9bb3f527dc3a07d8609d279104995640fbb 4e4bffce2ef2b227e152cb77277a353dc5a00ac7 3c65f45a8a92ed794c23516630b789c782b4cad5