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?d4d ]]HOL-Computational_Algebra:threads=6elapsed=34.440cpu=122.764gc=5.640factor=3.567zXZִF! 2 ,]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Cg iVZ$33>-zۓgh('*@-nR$L-g݌KӠ2@M6H1?|3ۂ&@ Hbթ_^ kNoաC-f~!%.$P3$ V> mM1iy >}Ho} hR_r q1C()zU6m֮4$v=ϋp2 ugO2Hj_Ay=v\b8zܯ.,e2uԨ|' ]6z 2c.IubSGK_3>}D֗9-Y0nPA;]{CR3fڵ?z;U|ȦP1Ӈ|E)I(PVE[)c'tV/"HG>+MqsFA/i‣ ? HOL-Computational_Algebra  Xt@ n3+O @O JK$kW"X1BG~+չș?=#a#v|"|_Jt)񡮽@SÄMF~J As"Mt3C'G*;qs+>8BujKZ+A3Gw*Kۇ|'#62S^ԩ`2.cd)<LCY-NBmMAHrH96ٌ=TG-W_;\iD)p_t/R`Ϳg #n^/Q e|`GBJ-rHURby* sYGzI Flxˡ ~3Xf/"hɡ.S[ÅPd2¤O?Jb}':C#Uv'G=ϫ[]rCg0BSq ֠hq隳b6<364 =g&x@6{]=0U[SZUrd|3 X ClW:/P1\<#= dedgYZ7zXZִF! ]ŗXiɟ10zc;K-Lfh`(C"uLc~\>Sҁm)Ez>` lw4~NNzHϘ9\Z]s|0 "-=.tw} mM.4IJ=휻RC[H RJ+d!d Y5,%enjg̵_qM Hvrr֐7%q&| Ty߇a9Y3fs Nb Bۂ Bwk 051w/RF1#Y[S,p2wKw 6K23ܙ>5Q $LglT!/cAF|p ~6PM{z|l(ᾴ)HT;h%Pξ20[R,3/tdz̯d`zH!Pg;XwTK0၄Trt,A ,N(-1'a-&._Zy@ }l!b;v]x${n`7`D )PmH˺zE/얬p"3A@!/ YcPj=z3:4r?u,c#2݌i>;!F |مiq駇?]Z6[ ̡ceף'A+RU>{f1g"VQe5|m 7Fl,`2 TFsRR9Boy*G+`}&5S^xA چ䩐=gu.Sf 0cƺ 14ׁskk`}bar}r(G`e m@F'L΁}<>&L5fYp˯E7p2 )/73 Fb{sa@{~X]e1ԭi ބLgSl+:C W_2ؤHtX!f ~ ;~Oع}F5-6ga%k>F;3]1ڗr*ݻ&Mt<a*rWEfp\Ict~tx݅YݬN{$څVj>#BPY.@1j.|!́p͞V6>EBŕɭa0"d:<O!ͬ^cZ7J;e=Vbܹ0um_;-GC_`薬)gYEEbH} J C8t$=D~iSd s7'pKOJár씾.4[!O j5"w]Lt*D8]P|[kV-X4-5Q(0Ę鹨󈼸-gFh<Cm@&&|=dP7ګTC./V|2Qu_˔4qIO@~lG|"~iO eG˗]܍LGv)'%P|GCuвżcw,,4&^,@3EDm|#8o!NB+0 V63#$yWޕ&TPR} 4G8_~E+Χ8D2y)6*P+,sC.}A<+XppFp))(x qжHThGZ1Xv &F[ИdG˜umd>`Xq.CRVshej؃3y H #F~8GԌ~!<,G+ r|v\Vޏ=8w~AGPnƀpʦ*:t[buIUg|xAbX#gYZ3da51e798fe588981553e7528205861b8922319239fd57141f5956da5dc3f7b7eb06f36b9d32f6a7 945f328ae679b2c2573e1277807dc9c4099a3d18 a178155c1a0676d4dd3d5a192c4219c00b504cee0b0d65f035a5ed238bc0956fc2dd5dfbb037d46e