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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info T/T4 ]/ HOL-Proofs-Lambda:threads=6elapsed=95.783cpu=111.736gc=4.576factor=1.177zXZ ִF ! ] ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}5:$ʺ tp>@Cbb\MbIVGNQα{'sGOO>,n+LoyM 9zN=R 9 ï!sqO0XfAiNq8|2zp'8kަ+O*wJ6Vخ=_ЧK#/ ҈~+P Xg sҰ[0>gp]w~A*2#-Xi PZu<;lx*0=K܇hax[4uv?1W,rЧK,fu#,VnVrX'2ٯTXq,dshU'} EC9&؍& hX J Y2 Tzg YZ7zXZ ִF ! hR] ŗXiɟ11bu)]>_ws[Ɋ brbВJl|jG˶'`ggS^-U"^k{ɨraDDm_wK(?O9o4:j!nH<1a/] 0S䀟ƤLgąA~h\/I{МӸڈ5uFtfC1::M'gdY,^rnנ8Cp{7{uÊi+`\} ג^XөFۢ'Krm(. Wgx l[BaNIxL\. 8=z E0g YZ7zXZ ִF ! X] ŗXi%Jϴ`a-YQ|댇zxPG0tmMG|uش\qiY ix8x0$:\ &&.H_yQ1^zYh?abc |1x`}`8O\\glq:'QvSE4b7\WZ,ӯ\;8۞"z{lN}gC6cc]ctEah8>YS] fZ"2M*,hn#r(>@n~XU@46{Of:ݵeiŝ_$Ғ 'gɖyi۟fvB("AŁtCVْ3_:J|fYH^ ?G:7tphnSzڕт+q+F2y94lU^!]楶IۇsHn