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  5 $ '% Collections_Examples:threads=2elapsed=99.624cpu=193.696gc=8.408factor=1.947zXZִF! ]C]ŗXf1-/6vRZyغgЕgQ+m$Q#3?#.5.Rx4 %G5Fi;"fEM 32P[ɴO#;T:Wxa&J _nHOj6e?8S&X[? l,HlFYl T7*G] ^Rg;"BvJ'F)&n>qM5ɄKq-e0$?#LBhj sҢ;o g@sf~=~u)ԯCuL_]g^\o.Zzd5zwcz䌐8V-4B [k3Hf!4<}N^sGjxO wT^ ~[ELT_>')(AO[6Sd8Vv[:Q O/ubCEKD]mf+✃+aDL qD\_Ѓ7;:ՎmH O-ڍ3^`sO1<!D%/ iK[k-,W 9z,V9/<՟5c2nЧN-Z b3W; 4_7(NdLdit[$2+f[M2gt/ƃWj@8 |^7l9[i;(uC&NxAu)H7(f:xl#H|K>ѩׯ52͇llCӆEm4QZ"sqrBGP֬*AvS9rd+΋9P!A޶%[ZRgmrBmtٷW|aåyS6vB+!?KAjS5N</ܴS<|k}c9<ʉ/qc ht*^C7<9%а/mH ^HJߋ>/r^`NNf=#] Zng5l9XBCF_6yjA4 e3Q`0:[<*JiQ=.: yВ=޾aE5Do+$棎NCzGW6Uz3w)ŴcL^қghBX!C近Cɘi7R(<'ؠf= D>NM\\9qTĤ傕!yd?ȌYL)V]e//ιJeb? G !Ұ]fRvV{~ܺ'tc7,STiS'^QC;/N]}QW̧- ܀#p``Ŭ^ګ Ѿ|8Κ]*w7ൺBu@BAy`pitË(g*Ʊ&_s" CKϑy0)pv7R_:H4J@ xR2K^Q3OAߘd䄈JSܘSH!oyEjp[_Z_^5i!U竍Rf53yI`&9Q} *l U?w pW/dϨ9-KtN톋y-W$Xk=[-Ÿ;‡;  t~{HLp{&IĺO]ڱgYZ7zXZִF! ѝ]ŗXi%6y2Cc.y/\6΃/~ͽA\X:=K!WOj:ڂ04_6Vcr;fOГեs=-Pcsqw ث C9;GL,<!085Q]Pk;;( 4w8ӄT:OF h#x/ ]rLH2Fz.e @q~z2Nsɥdy_Z)<Al /n=ug>{6/o?*6b|uZƣ}Bpf LP-5IKGF kp`(z" "WHM%gݘ΄ʒov^d$w(qn ᣬCdyˍJmgոŨHmf\L- ᮮMaF͗p`14{sXz eo~v{o,Z\ ^80e66U]: 8;f nN G,[%=vS|ǝnH,Ƹ8䮠[ ֐LTPVRzqt/Z&ᖼZ>8zo{|Fg\N &q߯k{H\(->kJ˖P@ @pu @'_SEA80qvQ=_kEQUBI_|{+ 5Zn׵ˆՖ@?Agk@C- qJMx_uiJS<|i:. w~.1gy ;$WH%XӒ%+Dn>.M3wb卽!bx{]10 ܙaO&kᲘ>.a#tHBu%KI(zjNG %(NN:p{[`J\[6=C c8ͺmUj|v!SrS`X;PqDLB'oATTXTO n\v@ # G-d ( y$8ISCɂ㥎ӏיa 1dZU|:وk-ƠR+U 6M󞾲}} 8Y=s]D̛x iw.!wKSK#v^dxjPAv;Nb8'F?x'eanݰdC4NnӢE*mtʲbWF{CGM`RA|]31XI;Jо h#-̍ʜ58@D˩xӫ(Wk<£ҽ EOd̩J")-˶B;J6hB^'+<2ԄAEb_0xOh56E͈Ul0˦k]X<U. :~ܨ Afqv>5< qz˒fi{UE>CjqSG65C2ڝa'm8vB9t+NG9\sm[zƸ&t *7m٥ܴ(aWXo,,ҁT~ktv!r*69;\E7yƬvN{u!ç J