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 z,, am]Pre_BZ:threads=2elapsed=131.320cpu=215.240gc=8.552factor=1.647zXZִF! j6 ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP А@^6Tw̜UDx1*<;_0VA*k;.'펩Dظ)k!)0ѳ]6%00 5-wgQ\3 vC&@J様Ѿ$pi2 Tå<*+X=STrv5H sԤ XL}n1*p,FoǾiD+S!aj^Ӈ3~^ 0yAtܺ.,~O;̻V~c*;XY! ;]z̟̓X   Pre_BZ+lio*蟱sYӀAnw?g'у6ƕiHXT\,<7^"?iu 6]̇ۛxiaf{b ,=G0³5l.pםȋk;96` \Be!hgvd}e[4!-5r|EeݗgSB}e.B'B;KuF!?Q5Ժtb\6yH8mCL= W鉀~or:/A|y f5u䭂!,HavU]/z ?"_}u? #L̦+V?oj=rTWUI`E߸A+b1(%PlbN fۧ؆Gs"GJGshlȔ)_LPבFKΣRn%`#79Dҟ T>%UGh$ $Yy&Þvv C"V{NXO#Bm]0PEs D@$'O*_]feL܅y*_0+¯UiC.@p '2m?Q(Ze`6@0#OPJ̠ eB?oB[NOyl>4TX\R~w]z Cz_%mxєA1մӛm-<\P-{Lj0CCD1qhƵ LZ2<ˋ)-/ytުb_WL!,OT/yF!N:1gJ!ڮ4˦X|)uNO@権lao^Usi0;5{E9fXg~ `Xqc:[2[`-,'-pnq[5/ 2{o{8B1/qRzaͨڛb;w#m}K8CA:t־^'(b>rrlP]#uhdx;rL,>GB LҊLf -.aw3Y+e[j/Un@`f((Xjn{+M"ߜ\z)\@"W*+EX.JTJ`uݖX,8m_yK)${KmaUZlPz(Zo^}vfbwď7:9z ԻKhr@ʏ`}[>0}F䱭b^)W0_̠3kimV6C=c31Fl cs߅ZE{ 9ڙ _Ɂ΁8ElS*)l `!O5ErM 7b܆.]șLA.E̺;*:49U&oei+9/5?q_m*nJrјJu8o K(׿Fu9^vrﭕzeB*aI+s} ׍\x|>U;G^tKyvi X (_yD,b=M`I[ЏU@ KRRKǰK`[DŽ{@ICX է l:6RhR-P#ȇql>cAE 'H5ЏŖɌ3$j85,IDЂ-9c%7EӆrZ= WGhSos&'޻` xHWAJE9ZNX^GJO4Ȁ־0+]_LB ԉ& w=:){}+,m״t'`=UE5;Ri~oA]ڍ6c3LJ3nvGp?΢gP^4 :#,1Y*(q}44~yT CF0pOЩa#:>hucR6N,|_Oct h$\ 5u~H(϶ dGx.o#w>KJG>E=d+R˝jLsAJ,:rӓE~ibٴUXE6*]BjXM\+vޭ ħNHDؼD s]5vՌ#T;\TD^9:Xc_¯wȹ>03 D1r#4; 2T1ZSY`}(ḱ?ޔX0 LdrVw >R<0[45di,f-uWneu I4y0CӲl#Ͷ1̋M>6iݏݗͨyoҴ+L$=TE)~*e7~wč$Rmlm #`RIg$Yqx '^B{cyM%).5Z~6~W'cRSi0&+o.:*|Mv>ݨyv3`deNPoFy(߆c#Iy-^6 ٣\$V>$M/PdL.jjP2Z?,?B3tn@ ;RATj;U`,Hv(T7ݦCN5_K滆̕});g D1k BC3F&Y}(U?kضMp L|pxn#>qdKb4gARJebwRg_RW%tUk*k]bYf^Pa6e[7H۞*; 2еl=Рjzq!ܔ/Nͫ%fmK+ X=piќuT;2k!P/l[kCK=2EX c m|5W̠n )<|7[Jz,j"D\s,<( 8GJyByqKو( Z(Y(-)TW|жii?s.#xUՌ{GӘp#\ͩ{YE5s,\!z'}n&U"4(D'sa#\wbE6;Ipt(b\ھmJQU='GzcDKdeb$RްZWtm#9&0ϙq%^];Ozܑ_o_Mo6KS5 ! Z?4*2Vd)O_ COVg5PQ5U&~^NINp@SwwG, 0 !Y4JE`AHl* =cy~i4ej;WK0([j@0LYc]e''?^aܻXuͅ"ݻ9Fd ՁgTxRT: 5?;^v)o= 6Szu"ۄm F\X5I/?{;^|mAMj!t{5^O/ xH0q\ xfl!K&ު;gέqȢcEZBCϋ Π. ?W6K\og߬V6A8d+GDwEbU.pD?/}+WL-+4[@`o O7ItPC#!5yX-Β̻} bE%0+Qf A%|۬P#mJCI;Tx~L4t} %;]Pdp"ac2IҖO/яQqC ד) `;qt8gX^Ki s5ZC߉&w@+ s]4e Oym-/g 8zQoAKT=?8t*ӁAAg<^9+!( T h 5S{:j #{MHPHVT $5M^^ΆAN5WNMVITFH.8fl\Az]4 h=6#.͸K7ކ!vAdKO@"ϫ(#ª A6ȀI3D^@8.+Y| FS2\+ xS<?-o5s/Gn=6+k1\lYOo p+&WQVvX&J>%DD| TqJ~!g< {^0|Uw~c8 &4HJ2鵙J7ڊ(n]\U觔^+9-w'T+oRRSjZ7<ܬɏ?iܡ鉀iosTf/_+n=D~9G},iWDo#à0{; d~]JUaWp{к7=[/٘;Qld'8,\5Ig%ҐnЪ\5%ϣxocH|V#R=os4.HWWI!zwqIidD\u<bL*'oIGK}R ʹ桤C @ p+H6sp%)~HC5[QcBoܐ=PhBTԁhvJ9SRmQ=EezS {Ƅ7&*F0߃Be%fjvٶ#b9nrLL2؉jƽP}-ԭʖ#T]ڼ2EwN>`@FYW^.ǁ([׮w Ƕ( g>5SG\F%8e,D1NJ.W?|YtT~̄f"0/;K n>OPdLr ַfNV}F#7zUO:Q{m='O Y f+y 7n Lq<'di# .s&lጤA&ӏڕXɪ6ZG=e=dyen?t;:[5ƥD9"WCzc[]d\~`#˕Gl]Ft(uM+nttDpϱ񈬙 >DXYiXV;7z2JPb8ϑDվ^^7ʡ +{g[B? )&fTS|8zKJ$C' 8Y= Ýq|a Ak5: -v@%{ҭ8QϺK`I:O2B*J8% ?&pX A)WL"lVH,xW4 m!y$ָ17? -GFAldr KUcX26 5x]N"= ._j_E0+u_]_va6œ=m{T]lT"a"TJfB@vDߪBsS9E:k͵9a,b)"}@#X_MEc2>3kDB2Q<73&CGȟ&aЪ&1MzJϤiϳ.(0fC̽E u1LcA͈ |j#8Y~f8_,Y~!z.=hM&԰| W]G편ý.WW/ REg(A`j4p#Ф>@y|PDf@ЅT$ge^ hP!=\cX^fphfdPuPM볔[Or\kqh˻~nY8QT*Bn$2QqmBIC b᳾-^'iqVoWaF.{P Zy`<3G!u1ɒC/͝a Je -6KCub+P=mUWIh>ACU4v\ckiBݗ\)S?FCW 4aB_puU:L-W?rĻ 5T/籊]:''R˄Ynޘ4s^MX鯕ob2X;l1 )Zš误vy{T踜g:l-VǏzo>M E#o";kzWTΈ)wGҋHNj܇THF)a@pH巐