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 x 4Lt ]/ BNF_CC:threads=2elapsed=20.598cpu=38.508gc=2.608factor=1.877zXZִF! ]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^HqDzXGLhED DʔT Tc {lܗy?˄g\Ց-?`4p}b]IߝZ]tw d;toUa)oQXiOjuͽyɯ/CBj"O鑼kʧnТI;v  Emԕ^V-K" Up)g̗y4,yx"$̨HNOaQ4#(TQ,eR=xzʖI~H H [I|,\%mY}ݚ~ÚH}֯x5¦iL|~+q-"wdNEIk/*iނW@lfu|47/$NL+5sΟ j.h7iXC;>F}W>ᜫMx&׀k@)nn!ǧp3鋶Q96`O )%j;nrG`VgYZ7zXZִF! B]ŗXiɟ74p1=MHzڰDbnhqRb+׿c"YQ ?""e+U^vg BH˼ÓJÖ#@wIM;$P {u0#ړZ|=%'5onW15U<;ϕc[CF358/ܘB7>DŸ-=U=+7 TTa;CnEZũPp*)e3C7ud97^ 5{$? SN#77[`7E'f%%toT,t/eу~\mg<-2Xҕ$ `2f1#ơRSCDØFnF)RXra@^@R \h1 ZVgYZ7zXZִF! v|t]ŗXi%>gfaVE=yH8vmÂB [Z{w7>1[HyJ$y<@MpeUrU.k `{J%$ tD€v6 Wř=Xة?ˑt@w/30sZ3XvͽRS]zgma6P>Ɂz_ ԅhW 2-XV0Ha`g-\G;Ν4'Hc1R)fHbH=(K3m}٩]}6b`<yC6BM ^ a#%*cvooF4޼T#AI(t:7$HRp0z5U̫HSм0@Jb&M*8H.Xr-#"d{lKUgʨTΰɏr6uSw. vWyX\ j_MW 60lǙ83jå6?--`%=Fy5i?Ν|org(?D}JI_06: m,2bo;H97.)M-O Ec]`;qg\z?h4B>dD3*'6 anvw*?f7i fQ:گMfDm<_P :,dQw h|#u6"e~ $Uu~#k Q>|?%q+!rnֿW-]TOkkB.~)Т gbm6-H8tt G+YHO.>w#& ' Xv! ^bp[Gdr8u 6P΋Mz=]-FCN\- 7B<]%wQJs!c~::@7P ONl-7.n8څR]156ANeU*7c3$橋QlA|'_p.NME`G:ecF,^硥OUKtnKr  LgYZ09308cb0967cafcb7c6b6ba1892133e60c63d4a00779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f   BNF_CC