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 f/ ;zSF"F@N .ZW Hq$tYs?W-(Ąs)fye^G5`LFRAقL`0sW:M-!Z%>p T7y] Ճ:6^l'.'#t~HG@oq_xKmin)sy@ʰ8ɖ6gYZ7zXZִF! a]ŗXiɟIPDOB`7"@Rҧ" OD2;'Be(Ùl6Hf5!(5Bt(I 4PoP}WgYZ7zXZִF! V]ŗXi%B4ȁ&pbv 'M]u 'DzG_ES@Gv?]o 9rIqohsw&岭j˝-~|HJaV5jr?@x ڡJ }>_=3lw>EsYr^M2 ^^}{] ;ޡ3 W$-PGI9WK` .lP% cLa_Hl\Swv pv.ݲ. l39k'JSJ_XssDTUG=;ۓOYQW=]3Q0C?IJSZM-$0`Aws%Ȝ*{R^RكN3k6|W' | ǚ]nO*ϣ74o,A1UA@z4)!#El@:z,k lhTIL ~؊niV 0Nh<|KfcLrQP;Nʮ #od^uHtz8ZpqA[6Kqs }Vb4Eu9 i KPA<$ԕ =kx4$,~,'P}QK;DIMUfpɴd k@#U4p ywJF\3-M۝;=Q/8!_St>a&gNk6NA\_=vz@e#3]7 y* !/W9|CB1zMV.uͶ=ɿd]JrWYfl},-9>#>em&/ܽu&bb*E_= z)b+[tڧ8Do_`jtҫ_o \PARig&]K[ƕfkOS2X!ZhTf h"E"G"S0Yʝ'm@\-Hn*>;vEW2\?1 /oDv `Hp" J|]/#LiIҞ8Ip}M9Sl-Zy+`Oo6u rBMyCFv:O}_Xfb(l ya[䪪 :)gYZ1d047e8b396d860158c0f05284f5e177550568889cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c f83d9d1b992c26af0df3bcb095b2e78e488da3d4 5a2b3f4abfe9274ff67d37103dbc80f03aa57b03 / Pratt_Certificate