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 V $$ ]/]HOL-Word:threads=2elapsed=26.555cpu=50.960gc=2.196factor=1.927zXZִF!  ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y̜)]yf8Y]+u[a]6Qދ>M(ԟVY, (tVWN$`KSBX>3,MSbk^ظU?]d_lw: C~ݷP4ݞk r:YшdP[ }+C1l;ؿ7Qkvhtn;R nT S} %v$b@ջo^>Ih(!1>ed̈jA؈G)}-egyS%E;:j˲TKjjXt5^ڐ$j*9 >o RiҾ o[zI3;kG<{--5}SSncPt]ҮIgAa 9<`Vb,AġD&O5T$Vs m >spмq|_<(]pi܃]e֚*{{ߧ_n Yn޷\Nn䓟|mC+iHrzL5zVOYY 1!,%_?O S|;wȜ:z! (UӝQ^1 `n]JGtӼ6|e緋#d mR#vt!]4o{E-{ѸgYZ7zXZִF! ?]ŗXiɟ1˦r8v@Wl"`&Ba}|ؿ!Q@z?YOCfz2MLZ,~p~ pC\xm_YSOYx="evK!!MN:&= B/4Pǚft|2mHpl hS'bƳ8PI;F-{-~zoƕ$s5{^Z{k:$HʠLp#5'Mb"Л*@ NTǩ;) wKpHυΧj@\)tlm P9 ucl=*Aer9xZm/M q0)"8 V 8 KagYZ7zXZִF! 2 ]ŗXi%>g{SCBgPJ4k ^6p:%?<#)ubhʑ^a!"%B^&c\'L N] ӭFET X,0ǿVBƙz=j *=b CFL 0 .an5\Fg(fFqS>Ϟ#ᚇ̑ >!01Rǐ gIoH3 ZvC8 aCY-co/{ۃ:w VHFmf A-Pjo_]& 9`^79!p#ۜOa҃Z2ZPw[:L:yw)ka,j{ݘ>Ak, fI\9Jܿ|12p8=CZ*gpL ~j-S@ybgd LR^`6 {Wj-j7ȫ4( gώ0V<5D dK6q:}J! Zc1ehEQW5^0‚z@(mĐ7偢(lCaV6 3D_YE< R*er_ 'c3DFPޟ# So[CxhkGhWgl2wC~aN_.u|_Mw +1Xt1\rzh,6ID>AS4*mv,ʆAA3!O\Iqd )5TaSl-ܕԬp#9tN@l÷Nf9G]qb `Aяqz-xoF z $ ct" fYڀ~o{ 8j6K[V1XNJq5E 3 La ~Wt Pz~9e(ҥȸ%+Jajbb` >9MBgvh,:Q(U;ԉ ѐ,N?e HN# .bd勼j>rh_TtƄ> u@|KWyz٣_m&>Wx+V#2Y)+cJp3XMibSH ɇ)P,O lƩVb9w|3'yp0M=% fDRI׳Ũ⾼9t/὎ d\rB%IL(Sw o=e=#Xח H7`3%!}f(/~2sw;tꅃ?~U)-D|6WfXKn67hz2oBd|KbÙtP ~E}oD֞oB?3u ʒCݣdj. ́H [[sI8smp4S A/Vkŷ?ذYNRX|Iu#'><2p[G䡳w?Nt~|HHfl;t:>LHBRU ,2ֻuE6L7 \1P:&+V;NZ6eEƤ1ΉsIJD8oonJG;J_gYZ8c8e3e644b783d6316df211d98f6dbe5567ec7730779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509ff3b58575365e1cb2fc83796803a03a08daffa396   HOL-Word