SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ll t , ]/ FLP:threads=4elapsed=16.246cpu=44.564gc=1.600factor=2.747zXZִF! ]ŗXf[&l @7d|ĝ?PqF.kK)I][FҋTJq\0]'i~݀D+Dt?ʈrDn`&Բ}Uʲl& `{/X<45HE<4"lWX4>SMW2pY}֬кg2,' Z!~yT\TCD[ͧ`. A6;ВN- tr8ڧ{ JJR=5+7~22kVZ1Y,&L͂[njf;ڐ.\1JwͧhiIT#q #@)U G2f |^{>W-JB5i@*r'٫`2K8dNe_c$"2{z\er(o@a1Tz: >$H$ ǫ-δnwG7G)g5gYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝM/yqfZ.$&8W$s7Tttoz+ҍ>2j2WNZO3äBhH& 5S|n%Z+vSL '&LϓLZ_youזeyU( qE]gYZ7zXZִF! r\]ŗXi%I oĦK')$g]No33]Ӷ&QXR1!Kz?Qy;+4xt:n@2qڈf:2&eEÂ5 ^j!Ohbet0V7H7?Fhc|{!\QA/go@N}V)#>rus0{9b#St 0OOW,Sv'K>Mh'a?ZNhӷ#Odg Үo0:쪊LVGSb աr FekS#F*ݝKRk}Քc*q #%nc_^ H#gmJ \\d1[̪樜-MWY>al8|l giNmqm(O\rрY!:^/~hbL2$%Dv;WFPR-+uԣKԈcOc< zoAؽ;+إoYdyu ?I Q= Fi ?0Td+v6U0S>ݞvnv1E7>9ͪWY 5BT02w\L܏ \Y)9%!I2v0%~TuƢ V^lOo\2xA 蛥0w\45mXGdIDPwTd GŹz#\u{jU!s$٤H7ofLdV7:}ya)YnݠJNb'|X+~nbBIVJc+F{v7*Vk`oSl勥qAjr*g62kTdn{8r, =` FkWM,u9E%QFZn2'.QwOB]h 3 9Lc -Jvqc{ݢ0N @K>,T5qG|L\|Gn~pD_qe4٬Ϧ j_,bKjEԲ3(Աm#@3[ɍK!+z4t˞r3r^wb߂'ke:OiGDhZL'9NS=[?k9:e~u*ro")zZn}qT< ^ T1Z8O?I0wzS@nFx|{ͻL> '-{q F]q>KpJ6%ȑ(h.M.CA D}?9j*x׌K~&̹FFBY J8$]<]XezF͒Ot$M\dti\r8mkñg?jM?yb@V8w`R]m^W% uPoBev*F6!о,%]p]A/Tb^jPM7WڑQNstYLgYZbcb5ea65522ab11efd7fea1613608bdf999c32315a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22  FLP