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 SS* L ]]]ZF:threads=6elapsed=13.379cpu=48.664gc=5.772factor=3.647zXZִF! ]ŗXf1-) enȈA$jB80l,v8-qFN}a!fW65dy"cJHMC1ųkB]TP^-bT8h'Ɯo9PQ_{ !]+h)ɮlHځ`;,ROo .²!3ȘN|GYsZ0TlkH6C ^( PIxzh[DPPߐ xBl3eAcej gJ4g}yyZh'$SpTe4Rπ4sH/z:έ-ݓC/^6Sr N,Z\vzIVw,d[ٍE퓧{FBQ7p5E~SIWxr@wpXSt?BlxyQY>rNO{dQM+1QL;q6K`ыw-ERV "ƮeP*jLhU ݡZdZtvu:QzYs;R:Ok$Ԏ(?}t9- !+>k8$X"na9咱gYZ7zXZִF! ?]]ŗXi%> fE #HѼMI;Ӫ^&þUlʳo,uPOky2|E"Kŭy UzP׋.!K@ ! cfs8`:[3\^wfؽ6Oq(G3V*s[fkUe2XILz;X1~RPAA* Uk {U%C4:2jLT@.Gm*|}a'PȶR$Z>Sɰ#tH!PqqRk%Ci4HFj4k)߹ 8613wy ԋykθ~JwPCcG 2p;cD.s$~jIrE#D6y_# gA.@Bh'J//a__pNqaJ㨓U0 pTWo8rd-oWIzE{Nc6 zg쇩!hku$h Kߧ{nG) hk,DybؘC)驃Du"`J}XaE1prBT]j5uzfWyGNZ(V~^ TF]ݯ2Ft\L mW uZtS&7ˍL+`غjB`<rE';03/Z1ه+ֵ*"Mb(IYW^ɂSiBpmfVbZ{=MjԾlCk *p#`Ɍjdg<)t'1T%EGwŒ'*/n^v@࿼G`S`C9bsGzxBľZwS܆/;8QBDaUz 8h6w*jt$a{i#丒Ѧ*,0sfm̾Lʘ\ѧ9\