SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 <<9T\ ]]Deriving:threads=2elapsed=60.673cpu=105.936gc=10.208factor=1.757zXZִF! 9]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=?r ¦նq+!}Yi2eg6q-^GqUQYEJGyPbL5=4DJ;^ ɷ4_NEY Do Wu!e5+t?dmIi/At*҇yB50\PʃQn+s}[H[]hYo~,BK̀~ppfQkX;]|<ޮ#\] G.R}qI\- OisƑBxha|>ZpY9$*@B@|3i f +񩢪]nt#?(*J=+!D%#|ˌUSܬHզؑg,B3aFIQ~IѲaanIKCEeKx eotR'_Pzq,AM#l 6{Y)_g*)b.iuUU!'"0?R!#x,^1KIA@o; bNbSKK3Pz s9-W#VgQN>-rXq6a#cBt%u̙.'F&B ~14\"T1H;.G4Ra\=v4r_" `,pJA2/|$^k|[ō6&亦 +e.*11nƸݬ# \⨿INA b 0gbKF[0 )V !, h5&H au C3.(I:oaZZ>gdkΠ҉iw!^ ǏB T_e˥A`4p#f-o`LTOx@BK(WwvchLF+zzS;$/יqHЗF9$o4 ÎAUT?fQJ{;BLj y際ă l1#.7 mY%j8׺^UE}^Ik Vl;AʡQn hyϢ@I\)H"#+ya2E~Ĭ*r[sj^cc &z@fz!}-j-vqRRnEK,qBO,m#IG5|xMަ8Kw]H2gіJ^0]n-bM6qxJ_JfmۚAޞ:ib: x̝ (x+3m %kgEByElPeoj]qjzj,P2UOR %ߚA@Bς)2{nHZ1{e7r2TC=ѕ^I1$`P۾)yp0&IL$@>s*yF\w~M:~wC= K~l,$$"qrJ״} sHȱgYZ7zXZִF! d]ŗXiɟ|E\Ât+.*aphG)%uGANH :uPX$LW+a?Z4w,'V -^ &IGUǟk0T-q؞YէS;hJwd:-_o7K׺{MG=os$M>v8^rI]G"aܙ\B/Rs9 YkY !,ZVEۇѵ` y1v~W[?l렧pa^8)2 Ag3 O@_^OS38 ?,~h-4AE)wŕɉG_'p>ljĶ #wQ>̈́#yȎgpLC,%b N:eʛvkx)y *\W?M8l?EV=q IGH3v+ia [ /CDdU3(C\tqӗqvBGTϢd6tlC$&)5^WjX]il{EF+_DѷTNYE/b(\Z/rM!۳L #NI}~'#11bJ0kq'ydK#LC_ݜWGshXZ\xˠ7 #kI웉6">Օn#$Qұ4 ж s"x>45|,=YDUѳ%_n7XR=/MQ 9t~Ppk lDe(̒1Wz:?cXOvѶמ7c177E"Y5V%I,]xKF~Ć0Y,5Uq͏u{umRo-Ƥ)V;2 S+c8N+W2ajk}ǚ& KeHĒC*_5u8*65{sUvX#pY4=$P|GJ ~I~>q, "륏gba>bD?ح~I|xNƯ|oAnx#O\؜>{E7J]@$g fzH,5]~o%g6 7?у$v_ k:e@ 0s7Go\ R WVt)SASE)V(nW:qa`&ow*rs"# c0QNř Dc XaM\qNna`Pl dg>f}4[ cCJEteĈq*mӭu$k61ӟz=7\4bRwJ O m6MϹ~6n0n~Ƶ t52b;$w7T>|oNsvSHbٱO X`ٰ^#U#Baɮٱ*; VU(Q.6*'[<5+•o5z_fw|AI7BrgCIԤY3>Y29^2ӎvc{,v6\0>[l+7jpcz0{`[Fsf[DToWmXP*l(Պ[잖>W4|a'hBdIsԸ\<-]4o" 9egpb,NZ EL)]iȧ9 IȮVMéSoqJQ> IE{F2FגxiKgBOoaoEǕ q3?/x.NO'W"@Lll0GN$(JDԃ*?+9ˮ.X忑d֯YC3W܂tHq@<"$Efl]Jγp_YB|²w6ȕl5a;BNt9XUifԺG`XvȂ!v\ dVa "P!RR @Իbk̿1tP{JϬZʁ,f 2hm⬀ _ lɋԌҚbQ/S麠*߭$$U(MIjzBܥ2kf6c|u(Ν\zHVlL,]n