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 (3 Td ]/ Typeclass_Hierarchy:threads=4elapsed=7.503cpu=21.188gc=0.700factor=2.827zXZִF! x]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?OK'q|#Bڮ.cׯ\)AǟD=h@ K}qL.6WF!jU Ap1/CܔJ1I-g="9U&͂Xv =U K-.{0/.B]P/Bz|N2vNG^כP# 7H3=FNȚv^NsHxwc_ U&5EV&ڵ l!+'"e3G,s#W#36b2x~Z9^nw QatDgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu0ZpgIs[F[jbgYZ7zXZִF! ,`9]ŗXi%B&eOdݽb j U_Cq:XCR PA)Q2kOBd˜P V }DqK{#EaQ=ޘαyqj]g/*[KVij#{jh*.ݞ9GFx޵a&|Q^JpKdڸ(_,~Q+8b0Ze#-2IHR(G;m~$N(F+%A6a Ʒ9sBhS]f x/v93J-a37e+޾#,s{qFdwbHtOpaA\Thuyy;z)e#)8g |X"KJCQdq*fnnEd4oӌp>wOOd{ZUj)k%(JǡrVgظC]1qvUQ$=ޔxKdf4?A 8jv[Q7[1uwƹyȯ*|dNF+q*WEhco?ɵ"n{$ Dφ8z臺3R)C~( ݈Ӎ=Dln(W< |iB%O