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 ] Pairing_Heap:threads=4elapsed=2.438cpu=8.596gc=0.432factor=3.537zXZִF! ]ŗXiɟH)0%o"7jTϚ8“`VǦtrdq`P>,cy8%rpc]"YW" 0%ud ;PQdp}M H›5&[Z"BuCoPc]=Rk-`أqV닍۪{1țm'eLƨ4b﹯"|`//y{X*6C&Jqgn_8 W&[[ W8~.p\s(9!(sKcbvU0[JwL % Pairing_Heap  Irx|gǀkb̥O\leセ)!y"{(J soq[[K"GVu_>4]ppUv{JUtP|#B|g`%iu|KxOB0+1f'_;Hj2s]\3U"{Z7{W=s]b*S!WU[:t=u"ʏ0|LS:@NG)Lf[7MQT.3CmΪb@Uː&L&?lNhB!Eh4 CBM+=mINIg,gK!N,9L@JQD_ݯr0ZrLU+nLmd0Bkӂ9Ks -uO/-)Ʌ w=wgЍ4驒Mz[/Nܐy_f$yc hU"f1-jQH?]=8QgM p6ӥ0ZY<^Pu5dQ9Kq qv=Rc6tsUe10gb!e/Y7Nj3ϏSJɮ>;K& %\g\_G))-g Z>VQy)@F6"W#y2S7~9p~]&uDh߈W!@fxe[Csj[sCD1yޡ j_ϜϬ6$x P*\SvfaWz=Cb*2qXk!,@r.7Ə[X*rI s'> w\wpq}i7DVj=3ȉ*0bNr܄LgID!f,*MOsohЭ8Se73&uXl,ʊ" Zm&Ņӯe~Y hC4!PHmC_~b4Y ǁì7ʁ3ISwdkԬ1aߤ1f`=8ʕ(@^k_s%tw&ӄ Jp(l&{FjA`P~_!~*fV+qJ AF-s{ '"ϊHҔOy@:VQ+lj3)f`&A "^a)ae$|o[cYf0fIPaYʷ>ܱiD?M{MNK8񷋟P>Ͱ;lC9YrV|zfpm}!S".3ޕkR6J Ñ BcyW'-1Gh*#zCj b93 2א[ ew~Wg8&WI ?Z`5҄gYZ7zXZִF! W]ŗXiɟ1]" M${np^PTܶemDb!مsZ5Q4=%L/7,8\ 噍蟠\gVNag:Z,\$ 8ZG9J0-fpj#gYZ7zXZִF! k]ŗXi%L!l/'_ %A8'K=W 9Rn:rJj:O5>jǶ߭Vy`Q>P3r-KlP_bbfY`s rtt[)9CVi*T {eLftrhC1됺|vRЙwO<8Fv) l߂#pa"][^cx)ctm!v: yu,j=T")RdGI}GZ @Oe^zEuϴ:G-y<awv"P*i@gs::W;;LOEBT>+*JW Da_luF!tU"iu|IT4U :ƒ9M8-tS5Ǘ̺Kr^]#%_YI!$1y7MQ~IEqfK34PBcB q-dw};[GSMc