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 ZZ# $< ] Tycon:threads=4elapsed=6.667cpu=19.920gc=0.828factor=2.997zXZִF! c ]ŗXf[&~=BV ) a¾!H/8R_~djA- % }\Ӱa(zÑM0m6JB6{w޼9؎8Sq 8 ٰn3T*4>**KLII-ONHq0 ;^^ oGv',hW >!ݥWTǛ׍>I⇰QreDaS DM[^i޵ϞyDP-ӾOѽd~Nbioؐ= o9K( };*& ߨGcExnPtwF a#5Q:VO"CFT5ĎQ2 EB_R m1`, lRjn{>p(L`Z)8GoG %@{In55uvw ~#x 0du\qҍ q͗4@Vb}jkpE+K[Rl&j>gYZ7zXZִF! H]ŗXiɟyڳ&U2FHF̺pL/IBi8gX^C<~}=u**]C>uj~NI.\=;iؔ<0UuFJ1lcgP$4z#[Rvs+n.0{=4O"(@ދ7e'O֒T|#3326P2)`7lT'p2`HsݣSx+h_ZB:0b)ҽNiXK^[Ik^(_1+#+Ka) NgYZ7zXZִF! =]ŗXi%L 0)SMP8A`!>d HcZg#Yc*b/qunIԁSh#䟟Ȭd MlFM qѸxFT B VCiL;Rs3߃=حcր9uw*ێ{ O,[%_&' dj!ґlK.bsKG'ɲ<h+@o @}DΔgu[P1{Qo1y. llD^{nTkg(X%[Ӊ _ eNAnd]^/Me܈}z%:Qc 2^CrLSй )JcI-rZۗ64$V)s`H*,P3~_-/YFLvȓe(8\Rz{i^ -58sm2G .s6Ow̺Wl>>ri5qhäIͳ|̘^u`ujTM,X~𽍅($j2K_qVU%/A3E,%qbεT^ &*`dneLhS<#:&vy(uiP<+/24u?Wiީ!Mehɠ-ɾ1sMғE J0+whhq߾3~ }I9 t+R$5 w>E,TA/K`w{˪8<"BLNɁ)ZZT氻"j/V+*p yIƯz螊n `z!Y%| zߔ5˱gYZ107e30c50fd63a6fe5116564f21bb36fbdbd0097d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 128a88a5eac78b7d575bc8110eb39ce5b5078fbb  Tycon