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 ff/  ]/ Dict_Construction:threads=2elapsed=47.472cpu=64.392gc=4.740factor=1.367zXZִF! Y]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5HEc<@݂"4&}_l5=~87WZmk(6aI̔S ~t $8@wnJʦ&08nm*9}Ĝ0*Nsz۵ˁ{ƠkR1x"eqs['B[*Qt䞰BRaԖAWwVT1+CNO?` cbwy**4J;{߸pLMB (x}#0+ z#V|.*%Y%ߙc W'IZ3l6-Ҽt`'#̷ݣJa!ɟQF_.qR̀WK4"t^im8uux5(1]Yr~%'l z̧l?_ѲU.G'@ᐽGG&:Φ_R&[ >_ t |"xI!q$YQ̜B+O2r9o3 TT.F˗(qE1=nIxf<_C@:>_.f֋ /U.pt#[ /Sp TN?!I{xWc: GR=h@~\ng((JogYZ7zXZִF! ~]ŗXiɟ|E\Ât+.*aphG)%uG AWYS|()C`'{'Q)VeMsì=8WV-aj7jgzrG7%ҧ3^>WBeEm;.$h؀㯢tdpĢG$8]=u`I|EuuVea=v'0OCGΛezHۚ3CԕfE7wUC?Z sC#gS22va:|=:nrd[P=(G1Σ^%#YgVxE;dϚN*~BV+@ET4HOvzj@T4$վ3Zw?Ipx(# $h?h%L@cX~  }dgYZ7zXZִF! j ]ŗXi%>gH'Mo[FL yx`ZG|/-D"\&;/1@רh. T96u2Yz9IX'5վ5H~uCX:"=k`*; H; "8QѸ/3TډoX! e'6͢q}ȌOyH,.7ս]\m^uڊ"zQ$MaNTBt e2 wNZE }Y"^j.it豼m]]0_毇 rP%qfM0V]8? cgt;hLTGoI8o6 Y_VQb%[ϫS"p`b v,X3j;[[PCܮ% ۪"/?A!>ZK:@r m9:ѽF(.AH<\|/BO$"9(.m<g-~5h8=# q3aCT>֦pѝk_B RxU._v9ak@Spr>3K)zwCPÖճ3|cuy<$Ebx4u]a g5A1?E/:Q˦G 9sb\ޮjʢw~{Q{eoQ6wf9ϻT$'/a4m8Zw{EAg=텎Y`yJ!n+I<>)#OݐPu~ Kҗc 1k*I\øh?*S/mWkwD'U?<*bX.K3eSonݛ_"Ns^ЎWj   .xoF-lF\s-4n׷^"nAJ4t [x%v4u( -_/+cyk1V3A2"4|Wu4T%-0$2yvy`bG8 k8UՆLe11u<¢+=;YTLP\2)C!|qC]<  Ρ}3lpf{2yh(51? w[ي Xq>"wB/#F>2~һ|Sۨ.N3`fw9Ta  3Etb-\+ qљEK8 C zb2tyܽ)RsVDgECfpM׺}]37iMK+N*VGXȡ37փXɑwWKGp J έf/T2-{"Ǟ^a RW"=-ʍ627#(ۅ \Jg5ȜMoq߅DI= Lߢн[:Xm:Omc>鍙:T3hFA#zP%v"YÅ8,P@TFpǕۓ~EUг)u;N^F|-S2MG@Aǡ8gYZa852e2123b3c129be9af021e5982a9c4bc93e2be0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f / Dict_Construction