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 ee) | ]/ BNF_Operations:threads=4elapsed=11.762cpu=43.788gc=7.336factor=3.727zXZִF! F]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^HqN-F˒C'BgO=xǑbዲSϷ[N.YU0MFW=}䋾ZĜ0U.I BdB'-ڴ1x]E\RG HW$OYڻ]pm%=.aX)t  0-Wu:+Y8\]p@{v2J8UCt'J˥Sxh{L#$zd1cիM_ZTX8ƒ,|F w}_8+6w@8w+?|@}{ԫ 1l`twm,TrlJ`jP}ҖDJ:.c۲3a)EQS:fΖp; fj]RߏL+ܿ)'qy m3KbI3E_K7WzӰ-{-ܕڝ kso>oGWwDϸNF@sh CEigYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~3X,jKzL:u<&)wMxuGx+A=@i( nWsPw/D*=8Jݲ[cGj1>`tnTcY\)4df IΘTT|F9p;ucQvNҋWxu:K EO;vQ)EgYZ7zXZִF! \]ŗXi%B  un~ԗNK 41o?| S\pi87<9@⍝(Ń,.lpA0k3qe( .GРQiHl.CEdPN_4 O^'^ǭ P|24>܋nDמza䫰Ց2ﮡ`_M4kXmW˼ jj[\c8Gqޥv)~ZDvȀN3$AG)v/= j(+=lN;k1\('7(Ė,^/{_ id#y EwBNtjlS4t,ʣhVrzɜyl<>r wJKj^0 GX$9zJEл"rLoS0 Dy-.XO\@[d ]W8f 8q_PmX_:wL,":&;(0CvhR)yn6n>D#%;N3RByK+ϋ`x rDN2EyO7ѲBbQLs\Mw8V-"ĶՔƟќB,B|&eK6%6lj=Ѧ] , laFE*ț_#fx4-;_xLx@+RGp[N_4G7-78C* $ 'U$ڋ~ <VeUXWcgYD}Ey]kP-"J5gXTq4q DՊ"]`@S)kG%cIl䨫ymގ3n\/u3Id,@BgzC >NcKPޞ:6n\L{ix^M3 *wi4ả#Cbɟt?x΀0aA$%isQByڋÜ&~ &ܰ4h>YwIc79w{uHœ a7s5X 'gxJ