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 {+ < ]S]Quick_Sort_Cost:threads=2elapsed=25.007cpu=46.088gc=2.204factor=1.847zXZִF! ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi ;7p5`=;G\]L|t Tqdm-|]} 4[fg 0ūp)>q˵J({nJrylB\# -l&LHns)}]׳KHNglPb?=H>ϏJ9^ZFwp)~@ezRk'p,efMW70A9J :]GBJ4>L݅?Tk.1n!Dįͺy ݐj;wP8)*S.Tw?E TS7p3.%?{휅7$أ~EΡ ' 9*Rď]x,u3%~`x9|^mۅH/W]4 {7Gq~,/2160 "D;%A'euh/ Vb[[+y$a)jBR@c)оL4NXCRW-{:r#x@P6X~x!W?Vt<у=|;LإIkzҎwl2 }iPu>-(0Ūoj ?m^O 謊Xs_;[?:Ku9ɱgYZ7zXZִF! KF]ŗXiɟ1˦r!q=4!pƹ $7#ҔeKD͐T@>],޸jE/L}>_G7N*m;qfKV" .E"6b+LraǦs'J6[/+_)ӱYW;2WM6q 0o#nq>hht;;_&A*&^:eSt(٧8ڱgYZ7zXZִF! >]ŗXi%>gftRWޑFm9˔XfGOh B9~gpQ&_Q\'PD3A%Bx`ڝڌkoɫO',$1lg^Qq)́Z(T<o%rPlI\v27MJfbA} c1z"}j"DzEI"9;{=gq`i:RZ79#'rŻ M ZN 9Ik* p8Zq5hl0[Z#e5Uo2qzWu*?7JMRaS-ͅ=7-n^9`$%33Q^"(M"jCeYC4S5F 0ѹm.y#1ɍ?,Ս BQtS.,rrQ #N4#"_okh rC.,%o,^[MIl*!Ip08e/Ii݋GP//Tz/}sasgQHdM+խsY.x/o-F8 qA7l:m,M}T~%xcսOQ~g:DX`x?;[wdp,uhϵM҅0/?K'jM.=zAfP渐 Car@al%'#pLc5!oj}G'AVqt1^Ac\\1qfPb@>ި?խ=e[˕yRdlEuՙ!Sv3i7_V@^v$j9VWx_I"?nKWAbUY|/T&)h㉸r@Cz<\/\q vD.0Ւ0է"? #씫u\/θ_+;\UW,׼m|A]TXCQ}1̤Mlg:^U<,{~TꕲQ[ijj✿\hz/w>!d.ĴE-#$B9>CԬ;@6Eω^gEeڜ^ҹa9]sS%~U3z8tk9K 1.?3EE}Me`S Ȟ#zI-@EWMZnzO0Eq9DSSu3n2$_U96VeuZfa"5gŜE_ E?XHKTm"ؘl?Il{݂z.W hJxV"l|-cna2lϾ%gj$n|(uǯJfy2\Gp [hŦS\}h%/PX%I9.;T1b#qdè@|<9Yz]aTWAӻ#Cqhz>Q[SL)ه` T>05se]`:^ph2-7QB.xy:rWavbD"m# DZ^5]K-ds/zG(+vO_Z46&Az1[J(A$5C|ST2nw%L2aܹ5T`b%`3CUnl3u-^kG#p[/5%{u#dYӅqԩaEզ믡 E1RaY; >3įEd> gYZ9d03875387148f17d9af4dea457d64ba69f20249665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784 6287b454d7db781d7a850744573e8a503c49bc9d6fb077d94a2095ce786392fac781371da48a929a + Quick_Sort_Cost