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  g5lLd ]w]Prime_Number_Theorem:threads=4elapsed=34.245cpu=107.400gc=2.048factor=3.147zXZִF! J]ŗXf[&Y8ƌ>B\Yqiăx-":e$:LJIM܎74[u.'{&DuL}LWJP J]u۫_/$GGOI!et9=M-y'R&ec~0e 7.xKZy#./qfG}`E/$lդPK#q%A1R.Br5) НsϮIYز(*g' .!L.D<JG)ʳ%)C)hPhhM 0rWm!gƋJ|R oUjRLuoeep G' s1wtʐ|ҁ|-BǯOD4]iӝ\'݋#k32_!pp 6w*d,{~{GN <Vbʄuu% [㏍Gh7who1XW"o+qN)b^sXW'](EA{6'>ՓOL{&D]ðBj-ưQ+zAehxG(U|ߩ3ĠO:ѽ9>q/\DIPod]kKͶ') S4hk}B&#,*Sz>{ ~Y29b"p4Q͜ґe^#,.Ei?fMO>ebLln!xCZGG?T>iUFMЛo+69WL@`ՓX2d25c !&Loƣs_N[ͱ/ş-G>~î2MZa '+ʊp;31ZK#q.PJ!vN_}-fzIlN֠"ecʘ(SHEUrUODoVh>K*\c?|,-A0T!Jn/rP E W; *"zL_WyD0aN5izC50"nv]2rQ@ x?=}7]@sJgxR5hi)%mo"<8\X|dGUr~xg`:KtɞIJ!?V/g.,9l,l/!1d#ᮥ%nKy a?tZj&*?zEIo5 i#d֐0 `Z5B,Ҟ<H5K\EC/K&IxNeQa,O%XS\"17-˵z4Իи K%i2Z4G#bInmNi?shyqWibDՉR-KZz=wmk:v$wxvƏb}My\xS.O<2SZ"SC$d|W{6Cva XSAI repeze4ۯZ[N)ݪ@ަWT*"%>?K; soȠԑ/k'?+G^X͂ۚq]] <LX%?:~ 6߰DVGN F^yFx D0$lU:M#vMHz)W'G5)MuYF<.<ɘ@6u&Fd&id˽YGF͓8 LA~#NDmN6f(OCm`a"*UιfЂι;#ƁE6&P[(40W')2 _"ItJwBL 3,*.CEb[뼾n役-LpޮSfl uTe/:Zb 5'eetChuƖB#wMT1sH+V=0:[%qC'"ސ(kƦAOb*(l"vQT˃r0xpy!.Jm+]`Ȥg88F|Opfd>vd$T齤@z8#BĿQ-U88-ѫcj?t,6GƼZKǝ:_/(o7dh͏.u zi R&ݑ 2swEu5,S}USj OM~PqQo,csa)Hm$mFo[ab*L-jX`e^YΠAtV2ܣЗJ1M{auxa/#h2 VA4\>LJ9'#Y[WAi6@ ܠyi; ]Ŭ@%85hcFPV_Pզ>5=׵U)$T%a`d!A7XHL.CdL>c#?mQ_q|MZŚdr; U Q)UHBW=yn({ 6ײ 7|0U݄<4Ab 7)U:RN݃,Z5&hN B(.#kC뀴 m@ĴF!%cmr n*,6)*{{`e]J<bXe {N-B5,R#rdlb}#'7Pj [FpH^cwr`;`C=_QA@p$z4w{l`CZbc5j,~,u Vmf.d6\OQFh"d}YCdX΢ُ~orSFL$e \ }S/K:Hsx)aJz4,hRHk}o/*uRxcIsj)ۛj ,EnKL82;Vؽ\XR!"d{_<1Vv#=8l)DfC9[mA^BrR>ep3g[1G}:A}_WJw?F{{j H6*tRf)֔(@o+XG Tzwfg,v )B JH%lfZ:I1Gf;4irtT#*