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 l' l| ] ConcurrentIMP:threads=4elapsed=20.950cpu=48.968gc=2.400factor=2.347zXZִF! o]ŗXf[&nMy&\ꉎ3~r >HM702e&r%#Ǧ߫:3Ɩ sޣB]mYKu'" .u ֝'vArQFqyAuLڼ8a )eڶPh<:hS>+i 8X,3n#u=MoڿQ9)>f͋Evm]+QRw wo{!Tgŀ2|[qňI*y=d\;N)i+i5QۻVAPW|>X%Y)iCj$єj%8i;pJy7}{uhs)0| S4R#x/ BZDHB CG;ǖ|J׮'њ]{Q 6ƁhYIB+\5``M?xmdPs4R&v5R W3a&N؀>OB&ACˇ \ AoC \Ko}ǡ03 $,{%1 Ks%YsM@>{ 2/=mEr/Z\2Giv27H o:O9WzW٦/7m}KYtIT}hl>N[*i60VȤxU,d /:qZAN;2Q>1YصghdPUǍAd|S_W75-5`:>ɍf֑}tJԝhɸS=" 'w;XJcUnQutvc5\kT9E`2^u({(ZЛ܁՛Jo'xp =2Y) }4 _ф}:= &lLٔWq ni6eCb00gP+*vCA[vzM歾P%[l6mw=O tTITU:nF.8.cxXea=Ԏ j(CZVIbzhnfڛiT@#m[E@,l'USX`U[[6>&JP.5f :+],}#2f͝G1|x+KLu#@>@ۥU1݈^3dbA& ~ErNtl4 Nǿ0rŠSzFN=?D>ɤ]v~C)Cd6<8JԉR9-Xnhc*#ـAJNFAw!*Ou ݶӧtli-Z[!p}: GQs`G9MDy)1F.=+k PG<>qmAзrCpDl Z\C+%yg$ba ײIHN'FXCx>IC{]} NPZ ʢ̇lhe w85t*MT!/fxd(03Xa|*]ɐKʹĽxb5͈Uoj%W]/6WeG݈xc/khp5\֗@>JǝX,M1l(ʌǛWڏ k.S9j4 kX/`bjxؿET*_ND<)@:} N[]jPg鼏oT0ke(|"a:)oH%VA$I ֤|\ v_吾GaT_(qܧ?$nN%)cәzsFZ!K.uX-M m;/^i>z