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 o/ $ ]/ Dict_Construction:threads=2elapsed=47.985cpu=64.900gc=4.584factor=1.357zXZִF! C]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=Ԣ@"5cG<+(FPOĻ]\dd`p`(OqqU 4`,42] > ]˥@Q~9M3.ЉbSwK(T~瞿: L( I'*Ø *+tqprn)$Eq*%ЪqqLvY^Xբa^KuC O[@C+T5w;W㐆BqEufd+m@W_͹Cͭ / Dict_Construction  bʠ>I\ֳT/\r UT!:"wol bzAޑO.ZD7p0_ UأFkmνy#׋'i6k[S7T+: =N ~E*lLjn뭍h0Gj񡔕rV;(PMqWoZɐDM#Ʃ;8 mb\^Rհ+a(Z8|an [BjXga;NO#5+ 9dFw'n4 L$$w({çUeD2T9&0ɽ" 6>*tgYZ7zXZִF! ]ŗXiɟ*#; )zhWfLpDl VqlږYqYs҈2%1 i֋.BcQ)Ő$$z /z1JdXK<ތ~&R!4#$اQp"SۛR|ZzA(n. +FZ|6mrEm/iN6:MS,\z[2iiDGGTNz%ȼF~!f Cb66 {b10AuC^`{[YOfN'u~+i[Yݾ/٭B Q9dZ셄t~J6?f3*=fe^tm}G/5`038yT| kSngYZ7zXZִF! ]ŗXi%>g C;6$]YZaC2m,i|g?F 7e;jkŖg+I|qg1V6zF65Ѕ%G jps8N*:|o%ėf|MrԥNnsNZH:}*$/4sF, -8י=y7t!, 3Sּ!`/15^ғ4W]Tr.,}(s̲8um/d,@K:4ž?[PO/ $+zl!^U˭ԗJXӺ5yⱟu[;A~=9J|E>)Tϸ6Y tv)e4_dq~XR_bZOm.*2A~ZNv~,:ѸZ$Z?nN?CϽH*4-Ni']{O_JOD?!/5w[oWJZ^_0 '$|axMyܤU50+hU|_]J6PgnLarx~+}8&9Y:Y"eܨ0`パ"٢T!Zh7$ԃQɕoA>}h#?߄hsf p8Z/\<E[{F[2QV.QՙTL^Jw$w/_ n^Ӑ$b7Y6F/璇v f'~GNF}^ *U\Pt5u;Nax,=r$]%9]~6Е[H؜gFqA7J,eT%͆DO&ru`߮&knttr [P~ݒ\Vѷйe˻n;MӚ;F&HPi|:Y}S5W`NR=579 Ѷ ֚Wͽ﹖a־nD˸yKm{Jk̏̚kݭB =_4eKĨy@wkb/ӑ~6cZu'LG."|X`:Cp7.Y5OlA0s7mXWᇐ9״`` ʰ޿ V u3^cuCƒqu IJܢHWjtbu9/fJsZdp|5rjc؞j贞 Dz*[ x}5R^QWdfHkp.'eB<̿9w@r6+,/c%b:Uf a|/Bm]Es/pkKIAZKNnPC '4s3#1?@P 7ictCD]ÄMAB^vsYT6PQtWo,IX`\`|Be:Xc K8ӸVLj_4~v;lD8#㰵vbH&P2g7xqW4`#eJФ jZ 1,])F94>db#XgG|;ՖhR|{{ ;5b@@bCM3fBcaL"9^ei1"FUU~@(0EwyPu|YiZ之se~. MBBC8+A,!k溊90vpGιT-!ȭhp Ik6לcH?L2ep;}Hg6GNx_9RJ@,,?!>s(-sc@R-+Ǜ_ ?5o7-/dOK>a*J HV*55ZFG,[k/ǿAU=xF%XEвnyOfa Mhe V֫׶qe?Kj\gYZ872327cd97680103be12569d989932b4c26ad089665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7