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  X X%D ]/ AnselmGod:threads=2elapsed=2.488cpu=2.980gc=0.048factor=1.207zXZִF! kz]ŗXf1-/6vRZ]Nj-Fhϴ}L3)si_[շT-*G,qXeSU>Vm뗉屪H>P$WHYFzPSXCB 3*"'gYZ7zXZִF! G>]ŗXiɟMf{kl'dsU "p3hs'Y=ܙZHW}YZ7zXZִF! []ŗXi%;wrT&&ѾF=n4D9VA/ Go IQ2. 9!ߒab\=9(4ʴdA]2x%#eE5 *.ƃx)FI5z˄Pb4JZ9KmƍBbtρJ7*OJWğUfG0\)`O߿sTr)BOzIm̑WvPIEZCWzi뼿#9%b8g'rR*BaiLo@ZFU2VYLiX^Q%leck*|q 5=m\N.7Y9vضZdfkMƯ0B8L68Gơ7IYGq5ts,⊠36K* v^\RU^5sH"bdi$)J&cևֺ̔uh&Ljo'Gôچ , ?}e:l+)bp~Sa|*m-,l0}Fkj'q`6[. y9z}gYZ82c4c612447e7679e62b08a1a7ff26244600f0f79667212091580fa4c30a7b10e6591774082fff36 af6044d1ba548f70bd68d24705f8ed6fb4aba65c   AnselmGod