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  M! bXu”/|w0&`k_7hP-esdy0,Ѝ}>B".;Km&*ה=heC$U^yK?x0w߫KaN"<:6G eG/'2 ÁezdL_CDh.(QqQAIc#sH)TB13nN{7R>S_RGM[q_[;`7HYzhkxR'*kC֚F7.GLm#',U?Vkѣ]ҍ?fIoEp%͓\$W\G}I߉;7~F23XMv9*"Z>Pa ⎫_`؝w]k0TnQ!tJ:QլF  ! Splay_Tree  yf 1!'gYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻IN&(Rw&6D83/qfx>Y[nK9X@_M0iEqeݒ(eQm~JG+:W?w;f`"tTBC)QcFc+֟ԜoL1BBf(3b8L,|@gccWӊ[a~pwǟavPS@E&5g+Rщz6%d?|KαNbY2.y7m2!+2^E+ UyV=qu#CB"x] ĶLW[{W%M>Lb-x3ZiWYF!.9L{ٰP)qxjh%؛l\+ruJb|~"+vqTw9W|_s2rjYʃ7 ݅^rd,*9Sl8i?X޶rj~_\.++ e$>v5@KA xfS<%!a&i`}yl*ݻt -J6Ҿ$2W7INY2KRs &T"iAGGg bk!Ix+1bSe@G1"wUf]\OspDehiAV[YG4kŅ"4 >x<'< vSad ۺ ]_;vc JuԪ8Jqn;?8*%; ! ޮ|nxN= o;C+Ϭ[Pū n%< #44yE'4F_:m^#c1z>ĞׅNHSJ<:"HO2αTZ# >} k LmD˨ drѦ-d)X7ɖ'""\y2-#PRvBFyQdD&j4 q;coa~%2lR{v_6ܽw^tYL%"o BS|&+9Pܰȼs"oעg(ߟҹ\+~wj9]ᮅ|э"N{"Nh>n0هϟ\uDY!(߄lT-qi&=aO.Uvy>X|8e ^F"5͛I9>P{47ݿQٔL\UfـI ¶3[Y)|4}FiKq,ז~=}l^|8Y 6vN[{3Tx  HȭS>EI<*njOeg3+^)./qXPƿؐv@s ;; DnAouGtR/M쫞l +ᵵdv5,AݚB ڗt_z ZKŹp2`{ZfHc>ZRTdb?7 *rZwooW}6će(T}e ZVQWz>WQhZqlmAވ*:'.}'&Bj|>D`D ~OHYr+wٺCUeBUrsQ{=Q_Vz`=/uF7Z1?[Ƃ@*)EZ<"+s֊%@ujw}F"l]k޼>I[0ڐ*\مɨ5wd4(=81xw ;A` InzOe!& S'N-,D}B6%}ɠuNvTIog¶:5ŽdfiKہ?^28!o#+kl&*Jx^1HFS$ۧ S%Ι (}iUX#oڜ3hڄi\a+i1AVdpĚzI''hI"Ku<*f"=t;ϕYʔSeOf;1/ם-HٯV¼,Sgh1|;U*~K^f$}؛B A!2qK0tI['Kk_1Za0)8%+:/!]0¹K Us!0Y'r?; nd缱F<ϧ&9ՐS,@m{[{Hۭv^X+K3uЋ C{Ǘ";Q6ڔ&Jewڱ|ʿE8ln/ 1LBfhrJgG\r&o6+R ՘,Xrgb ={tU淒s#B kdd:-%d8o@&dC<}/t+5[9BK7}cf8X6*i?ڴ\9Em>'*Byd44P XqVR SfܴD&S}w'ͼ#GQn;<3]LX'kC@ԻWQV[#Oپf:,~-k&xz+]$x+~얼|NpFai! u}9~{9[g&f8aub:gf.P v+k  vZlR3w6wROsەgey(5.^\ П70W^d?qc!qT/\āc܊ԱѮυ" I\CڒV)~omXyVE.nB@s IdoOC0vwN$ȸ;$X,cƛd+Zŷ/G36D%i@c@ -mtKxټ*LNH߈Lp!`IčlYƁ^ YQfuSf)_;P]@T)3suP@8bxArbд5+ dԲVLyhQKtl.t ¡>B]^KFQ;@& mB6uGAK8w:[3yMx4/,D