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)|d I/]Stone_Algebras:threads=2elapsed=64.564cpu=101.392gc=3.116factor=1.577zXZִF! ?=w]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTŭdڧ49RT5zr vM> ЁGsyxA]LxD_"uA3c(AňvgP׈A!x13%.rذf,!_9a"xΪ/*,qe >ХYak:%rXh!kCPH*lV6I\lR!X9)4` ~61F&DBAE'X~̛tu"ŬߖꑀM1߻s˛>8d@(*ImSc ۛXb?c7{(Ovh][ˢ:yDy:3:&)CCIʇgӋ^e3/.]`c:K[H|>MDs3*{ɻS#Z90m8T,݋ɇWUè4t Q(T-xN)"zrq O`k_XVÆq>:ۏ!(<N=AWa^J6$:xAۗpN :)dMl.: \` uͱ:@mǏq?s0"g- X"KD/}oĭs tY{yTɏhȒS'R} Ki,PYgהK@xVt<<0AЂhy'n+v*^AP:y0_j܆Y  bw$#?ڗT1U# O1$ 2gw.6 d8FşΧ]+0,5kEm8YIy5v,A 39}jZQ3iN,Nt[bY&Ho3/dBj 'Q1Xٌ l~"řhIxͤsRF@!Bҥ5_f;V(u("rł]2bamzh\uM;;m}<gnA@շD.^?4(0?d @wyXwHy8>et"xH z w A;u@_ R*GSߘ,bS]oR2^3_gMyjl/jX6sv ) Stone_AlgebrasՈR7;w˜I#lc#zDI ~gYZ7zXZִF! 9I ]ŗXi%6{{b(i#a95pû)nln!WT>#[=(Kvm׍.$&xcRm0E 2Σ)[>ܑ (k@tqo~C P9 ѳ; 8w X[6RNEA6W'֩:GnW *ɘO!`sF9iD|bqgRW!uM-9^PɦAYϸ-$l *=>- Ccw=k%da8Q "%N3åC-)iyJІ9yw6hBVck[zR~T'uzg3{qTaq"g 3=cJ( o?s^ݭջSL [Oj˖h ~3Ȧ7q%H {a؋OsP۟s0Dxrы`05M$R@'v`VQBVOYMX62гkwx_:~%kKqd?Ą-R(np1X &2WxqD*^[oi`:hb3)`֛-Uu7N?2Yt>^q}psА5O: BAlK;GAnqX_^?qÇ^33 ^X}GTۻyW:f&H}n 'Slu+KjwطoOٍޕωT!`&&(i[+;-k,jFqL%~s2gNC|=zP9`!/éCqgpZL7Q!=\:e4ׯ>hFefkowR5fe"p',+)'AtIXll~[;-CK B4(d[zӆD| U_[0ۄf39{!_S_NrQ-z(6 KFdWEI܂3ADvrɸCҲ*"p]ݪpC;Ѫ`'sNj0 Y^Tׇ,'T5VJLj{M"O!ۀi,h /Ik7O8x&m[+~",[)`!?FYL(&xBg oF1#frVw׊Q)/ޒ7_t4 C-wSs5>#~P*)YS/DAzdB*f==!NCn#,ǎߠF,_DWFs_&LCHm) i)83 oXw( O{UtlMNXlȝT̉5VUsn)|ޅ}#N9sY_|ᬼ4.bƝ<#Qm3:Sko@(3f*f6w\y݆Ӳ13m7>HW׍ vi sAT[Ɇp#1n ?GeĨ Puܴma_#26Qh \W^T&Нij+x' ||33}|R]+w=sHVg켊WEF1O'Yj|p!=YN?23.&.wUo3D&QB۪;Bw R$BSyc*IkEʖ\'(K'm8ϰj[O(ŊcZ#dwF%XGR>׊|[:5Kt`DK"H,8e7Z+d/ :!"BLW귵m뗾W{vr߸^I ٮWۛFև^x`#=ĉfJ{qmAZ?X1!YŦ>yx0;jۑWg=D0L}epI5":k>6 cȮ퍢^'%X)=f6</5Tp-8,rM~C쎴}|h[{oE4gu>@J/쏬^۷&+ Nrt0l ItLj6dRr:%{"/o X_Goo))Ƞc A}pZqn!-:[m4(.#%+Q$*(C5pegYZ1468e48b8cd656ee8a0f15090fb881e3932ef610 1fb517ab73a2b41846b9077256f60bd3a5cd2930 2401bbe8b9942d12551f3d6ccf8eec9cd61898ca 919b5021253870e67893f6f78d6df8a22a86e487 b3748c77858bb11c1b118c4a004bba7261bf4ac0 c3a04239d8a181cfae561485bff71442fb40d565 ce9d247713168595ec46d4a55e36828823fdc26cb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36f0845910405e4f557e1bfdc7fbdf7222feb759a7