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 + $4 ]/ FinFun:threads=4elapsed=6.634cpu=12.544gc=0.396factor=1.897zXZִF! K]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(p<;9"9(LIeAI  9 \99n$ #^5s3OH:\M8/]1́^K(Y&)5+a|=&(; ׺027|;}ݬ0!6,4 ©ɵC+5e P?\՗IYc5.=!]([Sk)5tb-gr^=dMq܉=Qi B^1 gYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!5d"\ a[ёtq HWĈ {j8bd>y%G4:c877&o~ [xI%ԩwV)SU䭱gYZ7zXZִF! 9]ŗXi%L 0g'^.QG= ;H&:Y@& 3nE*׆đ4 7It+ܟq5 Pw货uTiMt3CkJWV0! {M,%Aj/RrZ_]:#aMW KGZ$`Q]=ށ8w\DKKJ\v0u`X2 YijYhiNĨkd mۭ뵸6۩tNge`y!ڼ{jpϟn  \/Tx6꒳W@TzD)D}#o6rݤe? S&S4aWF6 Λ.k3'A/n2A>'rI<8h7s VB-会/5^wayK[T oW+}L k-Jny5t A9*MV6'ʂwq cD֌ZS|q鱸T 7imSVoYaD%|:"hBN Y Se-`]!%&> 2T|#խ7IgyG L{":it2|{~gsԊqϥpTdY+T\MwPvY.ߣm낕ڢΏ ͜%¯rpψup:AD9KA Ր,4^U-CᲑJ%߼M tY^gYZ289bbc984a23af18e12fb98afa3ef57037df17cdd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3   FinFun