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 77F% \Dd ]/ Hybrid_Logic:threads=4elapsed=23.428cpu=63.304gc=2.380factor=2.707zXZִF! #]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVBGn/1gEɕ +IckY=׳׉q;T=bD8ŗm}2J Ї AB,ύq x|Jm˨D+\rͮD?9\2I.iE_>"glGl=םTgP`2]BYT@jإSmyC@ސEb[Mv-FD=37> T??>CG@ ?@~s?1Xu*'xZ,b V#K[nHB">1 * 4zӼ[ki8ί=“@9}ZE0v8Kh(mmףhmf#1q5m]sIag>I7ì!ʜ ^c"h !GG^_*cgL^wY6?J{;Sx;66}v!JlLFf|Bm"8sSeG 8yWufA[< VWk+}3طc\=ÚiJ^,Z 䬻.$Lٛ:=A19]۞r9q%hCX(}4z]t z&/D-Q':-N(R6ɉX k1Eƴz. G5lgYZ7zXZִF! 3]ŗXiɟ1˦r~KunύNN{J /0Pk-gZsnE#ܼh/g˴f{^_*kZ~>c9%[SЫ3FSqQoxIsHİୣ 47Nͱ\|*LĠS Lɜ_܃=|3fQ'1(yMs%1I+}ߑ!U(-췱<?8^{ r|T+Ą%S ΅ws)6$S?> ;%*b9(ZZ tW!6A/b0p(Zq t!Kȳ̕g}Is&kJՑjrH;\0iG8,p3(r]kէrkn4(jB8Ă mBf-3XKˀ\?My gƞ3Mധ;]k\q9L:JRwMv!P?fTԼUc/0e?)$Z!y8VX&z `! :k`^wX+.A:ORH<ءXoaCαsR3.٩㙤zd;!2iiC 3+C|)jN#9`Q+~ЌPngnpf9*m~S #{1:M$U@-.'mYfaz2Bs~!* q8EL[]{UHѳ E+뉝|s&|A=^'׌i03IܳGE:[ʡ(n!HqNhaxRV-*5I``h"ύgWb}VZ,ԅHir֕FOKһk"Ό/:g7SK{&foxong dI6<$S>"lʞ=]XД!2bWR.ͽB ~$47/sۄ͡S[Z?5VL##w+(r]"s =c$"vR͌ܕaNß@gD?<ҡ4N/T|bH(8Y/Ii5p-+ܢm"s-)a0:+!?Kyv_*E>!/ %t':^Z%g|aZde/8^vk{w2ZIe5\OM$^o-{:@T0=_3d66pIE/ n*.M|^WzͧqrߚG+yUn*QG-W%KA/Y_ m(>[dU(lr 5bZ*vqi!܈w9]D;|TcOpF-Aeb,[ ~*ieiF/(S5ܿa&f0\x]sl72$3*}ksCjMЗk;q=z'G3-cO=o^f+$m*Aaȑa+3}u%$[ۭ"WW uliǝ+1Irplm6ɼrόr<ڤ5Bt(Nqf}ny;h)XV__o6yTҷxzVJ 0%;2Y}̋kFQiJӚ2NDYX~+Z66*ޒ\w7,ht!l^wGɺ.rNƯ؜O%Cd1/oFexNeA<gy Nyٿr UB3k4:G(<4&Moz鑫lb#KسXs` OK]jCCPʳ&K!%]Pf5SD}j+uxm$sŒ`R`U+\^ˡ'~JߙJ*k}V;~I뒷w?amsDehmp.ld{_Pp6B&-@Kއ:t7i"cqm@P|4 ~TZn]>dM]Z[A%w~dy$SgpeZ5+ I'd`ʛiDoyQWpgYZe33832fa6c7b607bb304ded4e5cc560fc374c7cbd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 % Hybrid_Logic