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   llD ]/ Category:threads=4elapsed=3.767cpu=11.512gc=0.168factor=3.067zXZִF! R.]ŗXf1-q恈͐7ӺV l7L!hGfӚV~rȹ\~V;Xȯ-+UkGYj̢)Z3<"D:'AHfM0fj 6]sv 9tܱcaW?~-Nڪ2[k"yY~5Hq-cZH)l8" |U4gYZ7zXZִF! ]ŗXiɟ1˦r!st#?9ObؓdV}3ys+ i@Isppn'b5Y' ު-hjlKPg&6 \{L$W-:'hՇ0Z՝A Gɡ&ۇǜC[׆#d`gYZ7zXZִF! )]ŗXi%I o9$/1[vg̐t1,T2ˈɕ$kj1VjS&JL3AƓ7DuvZފZ)4Ez[⠺d:?ɒEHэ%vY-wRM}G6G=nՄެ2•"c @rm9Wsg]I#;)tWfokULW\y'r%!? RQ-jكQY[r@c)Yl2oy6-Nf5~0>`Dx[ jXWPj0'BoX,WW7Y&@IG.z_{<>lLO\t|D8<$$';Cv;ݗ,@#j!pnͺV<(D@aDF!]He zʊ t.nBN(7~,sRa ʁ\YZ9XEM'8W̾tT0F1yT8.7ֳȾAR']RVPr42XQw[W4IċcC:8~QaJ_ ]A 0x]>L&HAJ?Y w _e.t*q눁t(kB~য9ӄoL'jJ8 2 oCW/