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  A A49d\ ]% Koenigsberg_Friendship:threads=2elapsed=60.227cpu=108.812gc=5.468factor=1.817zXZִF! +]ŗXf[&)c*]`̀.vţMbr ?5TwVd|iuu1yVnr5":ޯ _/tGz(rJ.VN XRЏ%f1NmuEs,2gC3rJ؛g,Eؕwg*F UT?go]AY*Z|,h/![i€mzV٤w(WU3Js#'#^CySϷ꽈o)V@JΠ.!tfqMv/p8ADh˳$!v1‰GPE\ uլORJ|fn-.T1 YUyJ&hVcͯ##$Wyۑ=QG7،A.*78UZZّ,6/ȕ*0ڢ`5.3*4#hZ`[m +UZsx⡇ľ.XU<3SA6ͅR] m2n]!O隆rPN6}w@sgPM956z QD *|1U.@|/E[hp+pT &AU-ğs\<:n!Fjrjgg-a'ewˡp7_]5vtV[i;_{6)1s4сTd4lP(cE~$^ieR)+AgmS0yjY/,HdM>\^= ,}-5[((Rp+LV|_A Ȟʦ"ܼ 2 ش%xـi(;D1)qLϯI㮕l6G2L+؃@xsEMš%`ԂAOlW;&R=]w?N@=*BXXUJM+3J9ٚxW$*KC)Z|)s@5le NT Vь0 AYTgXy+uדjp%izVk/wM3<Ҕex܊mC.3=9hۙ bS%`Se.?~9<܄{VY*bZ%W@CXW2:Y?@A0FbIX$86lD/Ux3?(lɰ7r?fWA)Yl̰]]qcR7e4]{ُ76Xl-_AE9`xҋܤ uҟ-hI[ѬDxN5Q\R09Ft-!$ XAːKbc{& s#d{z(kHT=qiK>|YRw3@ˆ+]_i?ז߸Oq1+lD8yxԆVsz0 mV X<EB 2r}g t^(DGiraȄE8$:#7tǹďS-V4L0e߆{'38v=iUQCRZֶJ}`(B<{>RJRH=E9RD  uo9bל5_H7\0bFJ=*R$taaO=JFWr`Wj$4{P.,EA:` F~iGfK^kK;֎4[Zl;hDkE#}!ݮ@v o>ؑ_FZ 9S{J2*@+{uqXm"ɈиĔ @+`$ZAkbDjpiL#Sz2<"/q΁ /  pvC\4#_3*2cdJx5(w?;xT/UO7Bd<>mGte.DꌈLKC3x"]"oyK\°g$"=_YWkVUWGh:&:1=_p^!d%yqjT%Aä&X+u Muj`T0| l׶l{Um[0 ^7[Дf4+[|O (̱l~) ǚ &Mx%֬יZM S ~7V>!ٳqźqRXx{/4 ,AMq5T7?f`T3I2w`37,w Or,x%8&sQ# NRu!iP I%;O56,jTqcHpgB5یh8JJJ7$fm RK?)ڠȂYV gl5eò <64|/?-|)bQ5/N4jbiEB1vLb[ ,_>3Oqu̎'$%h`o-H7O }l!r8L0CS;_-~3 ~6xBC!OMrgXfФ4(M[/.dK/qMܡ6^<, s`4 >jgc8F챤vLM'A[kјY8 Fd=ro(HuN5ha5 +NO.~=!/iObb,d Rfڿ1D EM_8?-.N{e]yVxϒM`ԻY}d>Ql%]gYZef551d1082bc4b2e4a4b288a43db0fb5bd22d9280779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 f8d9964663e20ec65b7acd393e357a95264709af d549bcb0b6bbf77ed24ea151aea6d5e37ff26ba3