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 > \$d ]S Lp:threads=4elapsed=25.337cpu=82.848gc=1.156factor=3.277zXZִF! %(]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tsvme]0Pc@SI RZq c⃇ ^Be*BIc[VH~9N@ϗ]r]IQ_J ||,!#:ȅu<ÞΦiRqP8_5|G3o8˞$!Rc+6e]0*kj;ĶjǍ_~ ƅф)>G]C ̩+;N] •c7.O-93{HYpڕ_U `Y04"=GbI+:8̶ﺦ!(4O<Dރ|~]qT]\țA'^%0Ã_YMBB6J5%vV+DNme»eG}(A_VNܓF {;9n,40]o 纐cdNeǬ__N(R=ku4Q|b \5RPVq|H& \M{pĀyc߆BxdCш-IthO'P骂M3:%op"2b"Ǽ␡DX4--?CkBԝuI7͘)=DBY^w葺RJ,f`fr!eI姪Dy&V9v05*h9QS?Y%_@7(7eJԞj'*0"Xڄa(XH qr#6nQ|)SJqy+V[ P6O*aGD&136ҥ+Weh[յ rRky0rHW` gGtӱ*<;냣 p0b.ҌڵZRz ͨcV&f0:;>KUݱgYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qↄR:5\EKv%!O~Ra@걙Zofw};Jw}1"xe{f-W:fgYZ7zXZִF! ]ŗXi%B4 Wٛ3K%$Wp<8ORu$˹Tp#GZΤDSuɴh®_w@ПAv1qzyr1%jǧM^B}UH Kv#UVwRVߍw<7}NLLel#7XVc3cu& &y{"]~r&3X4~%0E @̂*!t_A+G@8Z Jߩ$ً}L*p)7nQ0a`~p5~̥?{Y-)>^1\$u%1$&?E7pjx\dfc$/1s;z0-->>f*iW;l93X`A3ހ!2~q.Ϊ\,&([ K7AUգFCy9xHFʘltRwAٰ|oZGI0b<ݏA[xC\t GM HHzKMB!,1%ٛΠ˄4cO]lTn$a߮,1Iz1P eHEF&)SM6>doeT]|(`uLSi.H~ L/װ'Ҏ-];¨óݍ,LeRn7<:Ҿ Uz~=#` x9s)3'!af1>L'zsp$P^묹]|N +>+l|[9#$ -n.ۜ8[{(9 C ̵kMH'٢=ۂf5i~.eY^0s KC-ny|z1Au.%\~)Ji+8i;̓O2Nm6E |PnG+쑟;y{U (6JFY+.9}O2 ;IYNj,3B/XH >kNḞ.:".m+NiG<$wYgqf~Smt%oKvgTtL1q<6y?T9. aDl #LϾ\vFsǶTǞ t 8 %O/C vЩ?޿q,z|J}vcm0 V<ʻH3 "r[ Vˤ+zģgYZ3a2cd8b1dc69eecb5473cccbd50757740f874e299cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8 ca9a2d259ef46c754fa4025383c1d433633e8e28  Lp