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  r DL ]/]Cauchy:threads=2elapsed=2.610cpu=4.824gc=0.168factor=1.857zXZִF! `]ŗXf[&w4hJtiTRrۧLMW>\II\H y;WC]S=fVHzmͰεkf52YBy)+ <KE^ gYZ7zXZִF! Y]ŗXiɟy?}ScOZh`KρqD.N+iG [/漢E8p˿ԅwIlMc4ոLGk_u CgYZ7zXZִF! _]ŗXi%>gޔMC(@:yˠq@99:_Jֲ8_ 9*a3ɷKȲd3kk:^,*$P1VKSgy d9ĉ1=M*\[ȅsJ{s͸]/t1N+YK![ډn׉UZ8#(k+uH:J 4]*\*kcQҘf<90|U)Q8kƦ#6 |mxz;o3tRUxk S٧R 7,3:ݗ4?l!N:{fLi:)$HeYuUekЍ2AMg"_Лgl!e+?s܂ =j=I QeM{h\$| l"C=e{E$@ ~W9m6nb}ȱ{Zs=gYZ5d44dce1449f4afdbc9161f2002dae72b59f55d90779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509fdf10fba89b64f86549eb27ce3b6a1bd44f9402be   Cauchy