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  ` `T| U Circus:threads=2elapsed=53.265cpu=101.868gc=3.832factor=1.917zXZִF! #]ŗXf1-q恈͐7ӺV 6 hD;V& _w k /3n^]u2?f?»?Qc<\IwpP)Ȝ N*'"8QȂhY a>c.  wQaQ|JlO`|9AOםa5V2O5N 4yW( km>,> yGQ@*/7rfHqd  {·| ]pxF{I V^)Bڽ$C6"kO< c =f{e=ԅӢ9X{R~YYV Pd{:DTӷiU!UoUŞPP?p~J؇JLN "\+(gH< c`?|OtLzЗ   CircusD| >eaA8%7t/|N^ 7Kܭq `P2Y0JѠZ]kbfՍذ:_0.rZeR73(C1 D8u;UF6r)_ ?(t`th=leX3Ma/s8iu#v2 b+Hk_lz?Ŏrq[Rl!C̴P/4'P@(+ ]2MV>]q]Rs69~ҁ>EU\£A{^АG ˌhA 4Ȭ;jYsPľl6]d"2F3@Ԅ01: wAA m2 aN_OR^<ڣPFeojn$b#^o. xHn<}΂ل2 Z3V(Ԝ:xLK21du={]xDl-}r2O&ϢJF%F|q;"L{>k[6\TD12 &L x*߈4sBل]^2S18Fy>{Cee,k[Sm4xY-3hBO5#O C9(:Q!i;=6@z̞%7h*L8\X4"w %8^CH5 $ m+d#XqQ!&}Q@D%؏q!r/[ОkO~n8mm@ޘo肝)Pk,Lebw_uы͝P6a9{B+xk:rXXWuIC=8>g*Ca'=aZ!(MOT~DDo~ϦaGF]Ёp}ٞ"F pN$F?d8YKob_DlY!ɭb=ER!m{e&a6] Fލ)hYPx a.[#U f)Ȧ4CT&^֍4_P= Fqb84cBTm|Ҟ ]FV?e*vmQHLb) y/6CP.Y2ѱyIn(" 3._chX8"٪UQO3&#zq]f&-ɷ=>vBX|/|K xrHqtlВ"ށ#i DޕPLfSKڸK6TѹcoyP>&ǔ/2b|oAbw7$@e)1D6R! [ܰ3Sf$ff~xrgM5WV,0*o%S 5ƢR%* 2&`Eݠp)fX \m5t#%eݝ5uiuNaRYN! ^ 6[jMr~;R4 BՕ^۷DmPqQf#yhvt( Bz_DD)Q*9tExy2z=T{c Frf&?=vx 0\Uj:[<@F]g,c5(L/z7 pIp=nSnʌ_ #ƭX>-QS~ϿITa-?ĩ9~>Q&Ҕ*( =R膧@r,90$A?U OrnN ڻmL" .Hc%ٮoOyo^wf]H<z p+ 9ޱ) dCW❨j1=*S9:9^wu<㺋;Xft;_] 2L j qc4ĥ⻫Ww˩^9 @' cETZCq62ABGPkq[ft&ȡ]j:-"4w.*" 8dɮH1jQc['Wd^ ZDyef=1G1މƁc3o@lЖ؏׈:Nj8jTm`Y0+3z2T7x9I =Wmdd,k_rErspz:csE4*L4nilBX3%O^[u &%.~h0bD8$@]gǍR@gxu}'c oktO#",}:Dȇ"dp[[IP0`QNTSAh"!QkGau%ҝ D'Yx(=Q>w@@ԯ)9<7Z{C)}ZHeظ_3D>C(OOdT`*Wh+xwu-k$\p7rDwr4*|6t]$!acӨP= R:y7 p{ll}dux7<,ha_U4ڸaP}W9r4*H8+$"PhxwJa*fYz,`emo E'|^>\À7l~Ϩ %2X1b]5Zjj!o0ϳ:m"##  CemDtd5|&j1S./'n"XZ-ɭCm^bb;#^E;.ehpUPNh2", _i2^ EH1c9. cAZNј/~*֝v0"oYgDm2&M '>b<[o!YNm-%M$[eMkٜ)HC$(|aݛUѤ2my4k_:lNgP$X9Z70 0;zh%]blP{LD^G(> *Rw7D%""&S[wgsod+J 7&H J^4MSv^*|<'JgN +T"hBpλA5,'(f)+x?Q^yǮzL9c:H޷V '̈D8;8);qLpudJ%*? - Q}b7r½eQ6N.ډ؎$ǰ{mer԰:GutIܝCʮ#u3TƪzRʊJ )ةS$evc(y'V *i0Jt5ټ |yUP5\x``;:m"BFp Y ]d`0ѿBf&5UYlj$q+,]k3 ql9'my d]["Al)RTS2il :;DC