SQLite format 3@ .0:  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 C7 | d ]/ Coinductive_Languages:threads=4elapsed=13.704cpu=47.096gc=1.496factor=3.447zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{tY'N[}s?+[+7@Sb(ɏOXgދ~8r-3"fs% }{VhX:{ 'l|d_CsjatƏk'ЁKĈ\ӏnkt]bQf,Zw5$5}83gHDJ7&mQ6Z(bWqb}#j`„קE]횛$C,ŕ #s c5NX Bq3Kh=XOkY⬨vAZU؎~wFJ.>`JBlh _MSY,E7vB!CR=rw^1h I]J<13jLH+ŗE.$qDIqDhQ ܑ/ݯ"ei~!M4Z gk6})r:3~a҇fw zFjf}{9;[@+̴%%tI/Z35bܔJO yo,E4iÁI]DjcrqE&vdl\6]%K5Q'!@nk#++$|n6W@(rќ QP/zrgS`{z$OFtvsnˀ&)1~'@_=mPnTdCR=4`gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{ʵ\r)\ ,Plǒ_:y2r4X:%Z1 $eD[TueGaA5%ZgYZ7zXZִF! _]ŗXi%GcŖpDn%CcYhm ҅%-0\ aJgzCE^ΘP#Bzbxu粣:r0'DIC8Q(1+∓?`Y HNAq1SU8V?snZvJE mlbͬ]u'??In_ޫP.Ht/pjv~wFJ`Xmm;yGE=E gJ=ѬY|_x+FRxz$71HxU#cG6* c=\Ga?ɜw(';҆ 7ÎhWa8s{PIP阂*Eq'-]/zabD4Jr?&k+*-K^eb}ۖQ k6+)ye_E9Z|}`k[?;`(Tlt=4jLȬAԛ'1XuoLIX'$O3$Vn>X F)?U # 4{\fdNEw_L1 K`Eԟ2#ITdv {> ڡznjXc~=FH U#y6&05+ja=x.̸ @ 2E^bR҃%gݶ26zRV~^sZ{/X5FS6 rˆv62x OMwfa9 bRvOe|GR=b8k wbXг _pgV745 UY/Cc]NlIJ\EA'wD(BY A<1Mߤ7_%8xE!||iP5 lYW'\`uoq4`ٌ="$x9Niy.P|4OJ mVL' B(>P6~2r)U?,Җ| `OjAH <ĤϗN![a\ `1;;JLl۞0_ZR5,X]3\֤w4]oq$v[rZ2f0U8>'Cd$r9RDTѵf-ҵ JB9-}!o1?١S n!l`F!v.Ȣ5Ko>0(CuIأҗDNjf3S$ >ѭťGg!]&3^GsRœ}AFB?@E~9" a,ΥE @ϒ}iZcڳ=[;1AeuӶkP8WU5k,}Vm$JGl95ZqMaJPBwZ5**"ƊQ[צ 6egYZ80da88ea07f84eb8b3cfb85b6aed1f40bcd81f131795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7 Coinductive_Languages