SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 a=Ld w Tail_Recursive_Functions:threads=2elapsed=4.391cpu=8.368gc=0.344factor=1.917zXZִF! r]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+3UPOՈZ oF=it@O"$G5:V$z opK&'ų5m~F,9@0! sپ Čʈ/fUW=!z;l jjLw:6.rIX Dck+8}TK*$ ? *w_`!ajxȌ9r#P-wksx?F&'FA>J7u p:,AD vFgA85OLű:s+º_|x/E vX,% 57#MWs- e:T讉3$} }eBq8Ta uf<V:c :zG@ xU ,zQǁ{ kp⇒S+PuO/ut0%1R1Epא+~2eƫ3\>#&7UJj-^?`ޠ1a'^ҸtV,Z,F[T%!ԱGł^:ƲW{[%mC7K46,mTNW)p5a+v\|I;`<zCO@gYZ7zXZִF! Z]ŗXi% r/& G)oi~N! Z9ҵ _`2P1al 17+,f|wN˩\~3aPhd}i Ѳ'p0%7r-uᝮ>\s0KGU2.W9_jQF۴M'9аlYR]Mż,>AmT M9hx"ac<W =.6T?CN&Gvب.N% m l1K@٤!NFkzE#ڋJ@7ݠ(ġβeu oDϬ ~Hw)4#W#C })(nXje՘g߲*ezot !կ]`yXFaRSC"ۨ;=^* fmTv7UCFEʶ;U=qJtz h_f]UELم^he<-!aT[xiFm|Z9 zSo^w O `Us[`닸K?o#f:%gcu%oЇ@cջȹn\blwq^]t]""~C3"*f>PJtF Y.֔>Qr!Ё*^=,)2I)<W|۱gYZ482081933c65411080eeb8dce3c87e1fed9e7f2f 7284de7108cc21216686417c9c894a2419534c28 bca9497c07ee6e8063469840c42e6880fd3d4705 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 ec0e142c5493a009ca2ee8a268ec69ead48e8128 efff4aee245ec79abd34cf37075c4195622280469711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef = Tail_Recursive_Functions