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]Sturm_Sequences:threads=2elapsed=43.173cpu=79.572gc=1.640factor=1.847zXZִF! ]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5kYWݿ;f0gMs`Rw gyRUl:'6j1'<9tYw L=+6 S,l{m^M9$`i~,Hk@?9N!uJbTʤ!|?A3ŕ@6_ C"F6z؍FZ6. + Sturm_Sequences  #ml .ꭙSAvc!:r*45%9b\}b+_s5lT#xK9OA~aϪ=s'B/ɣmnX/Mʅ~O3.2eCd(дdc%6cgou.:t>p-UV%c{ TVُ!3\mwVJ\XI1xH-43;?, gT!"^%lLXdRV'a.om{kO~e#@` 9$ͣ Ot@6(_ -Нjg9F XgYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ n&LX-ǘi=k8yq`Hi>ӝ_8"T+Z!fB tEH"xAq'ȯ.Ўq)6>pZj *Fw FgYZ7zXZִF! ]ŗXi%>gCOx:qVˍIDdӦ2Դ)( ԣPD]l(HWEREG_h6iruq/c5~DItQuV}lAX\XN1iK\_[ LOz{n1gIMLF!WGM7`6yK>6']#Bx"wN<8X;}5.FN >"wM~Ա;VDxcbEx)yZ]6%v9 q+Rc8s_prUٚqi'0dFOT^^́}('@QUfYǵXa ! ><-`r๊WV91}tas B|u튗OW?B3;#&ZҧC"(I昸"O"<9GraXL,:6k"À0e30Zwjw?4RʀeJN[z5Gp=Qne|B Р,31ڬULc:n>9^"ϝ<'!A ;OhP "(`+>߮`(y,i]=[՘8eJ?: T=9v0Kɂa^/ KfE&[Uw26F5SU%52' 9iK${uu"J`yN\NJni) Cmn׏n\gڡ+,^w{HL2v@2C,]ط M}z#0U!x=7j1O2ˇK3|^ 8v o.^xtӊ껀TKvY3W9'N PVsf=G*!X|Z}K|GkpEnU6cQښq tZ$TsƘ85Wgh"=@AM&3Ӎ^-T8pR4<0LXU ׻N!Mkm8ƉxPQdM\۳+\>_ME[)"K{s J[*s753BK;(Y@aa-1QMwqyJz}]!52dh7ɻ/dܾưȡZl<%fG\+ZޘYf19&)ik:r7s0ts8]|xc0({Sl]+p/LW,UH@ܽ&nG-Y v+BbW+l9?pcxg{#db:y.@)#u.rCWkujW1S#@ipѵӢq瓽/{=euTWK*HVO:p?x(N3+8042` ,sF,XӜđ6ĶuD@ςt^zrVsolRY Upޅ@ߤcV8s[( M|T87Y;K;4lOK֊T*NZd&H fm!<}ηZ#ҩ=''\;R5  z$R.;w? й3AꡓY!R1~ =A\|zmIx0'RZ3Njq1q0֫723Q R]ΏBPGx{ZˑV-t8Ÿ.Bw&U Tos|u2+LkT g.PҷgVA:w@?~w'v滶Jv) <o^<齑+MhB57?\/<Rl"1B4 ꮥDWx!} s&Pl'f0z 5Rs.q,lcD@yWMn)!L @2 1$