SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 0+ , !%]Simple_Firewall:threads=2elapsed=38.111cpu=72.100gc=3.400factor=1.897zXZִF! ۷C]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*2kBnNXjvD,&OTU*m!I7m6JO$P$}[G@1*tf,$m> D\<C|Mn+ + Simple_FirewallƤ##V P}T B |@~0EFJQHR8]F-_A6 @^C͝K4akz9V% W_ ȥD'$1:/Џ!iM F% l'T"&Ž@lXZv)ݼɶ,;_ٵv-DxѪbjؤ|!L"'_hl !0H+)D/0֛ ,,걡s=#j 2AAm6t>ptWK|w:57)j| x:7cOˋ'Jm|5Ip]3υBܛ2堵Tf`o(rL`~].s2dyNԜaZ˛zAHGQ:haGMdsvBn`x]l@@S 4gMJrMMw0֏fNk)0cOWz#/yDGh9:"S\N}>꽒r 1;<Õ{7ZIkB:0"d; f>0S{=3مb1;mʐ~l*}kp}@b!`D^FYE&u]o_(;(^^$-w.ҟoKYVm|9$f' yv\s LbDyћ,h9r.$_G #]215}?ߡ&:P-}TJb*~Kݙ}Ejk972EK}2TUfiIT f]g_`Cu-3ѵC6g\X?RS"(=(ǧ_З_299{*iuNBR|XlP*ؽ^ty3$J H6[eS :^;j V? gyytlM3U,F+_Z;Ix=UMط#vTXx0o6d:Ծ·1g>o_4\ox[k6jM۲Am.AkH[9WdbHYɡ2."Q=SM [#ߩwe@L}ͯ!6KU^PP+;_i53xj:ƚC0kEcP5 F^T#7ɔô<+1]`!fURhżm?FBܮ=,1O9_7GP N:Ra>LmuKV@$"P5fѣmr d +Dc.~Zzq%S+C7`ߗn/d(dn cB羂Iu ,F ؼ 9-ANe]v]Ug0V03&jŧv-iג嫈Ƣz=.3d.ᒞuڨû1 }ID‹#2x(aH6ڃ4^ [k?=:X6t;cNWcI;Hf(|~,H/Lv) Jq-.;v̕oU@a|WLarbMT=} Æ `~r)kQ;Tw,צ4'+*8 /6 \#ۉpn_; v]/~ l%w0$ I‰\{s1p $}k Q]!S4A28,[?b{ɣ?qXQ 3cLWsQ}DNqsںG1qT靟9P%E=9a}NRu"-7 ~˱IѬ0HAbo§p Nn  !%hKެ C%x\ ke}XUقcd)Wxvy(Rqh R[A_YQPft-뷢ͫ 0R~F.vA42Gt0]l(/?#FVƪ)=pr*B$L.O(wVVP H09K&jÃ"ں4 uWBRFVO)N,54^ _A"t3Tg#ᓶ37"(NHLqsr," 6o"vY16I A !fzb}P$U7"ChU΂t0 _"qͣ旒K+zJ/i=70ύ,֙ FI r:xoSR}E\KEKDf.JW!rUB1;8j|cŤӞh='<e[F#<77(s.IZEqBφćcؚSF_,x(Hy9+LZ[p6r^-8c,AxvHWYR]:C"-i*,fpOI"嗪'p77ܥ =L Oc+LL,y1s7ieuD6TF 'eH 7RUKP[/onX ߱M…z`C; 2D3Şe]ic(a^o"tDgRzلC`"Ճre\\WḇgYZ7zXZִF! } ]ŗXi%H9+`.,Zf)JceV3uaY,a/B:j.LdR-c< Cv2z Q0{jWh B0f~t3&3_G2>RXу70tDNw|d~ϐn*JKt "S\(|FD-v=ah7E9<8FEƒfKv5eM :3y%e}q@{H&i3Kx'ms:սQNjAɆ8VoGh J/),Gs408u0NU aĽQՆ퍮?"\ > =Yw@T osi϶Cci4;iچߕq:c&`PxŜ꨸Xj`#Ydze' ٷ#UNZD5\A/]f0"Mb0S.| ek/3W˔87~1U?Sb裵Np"|(sc6sC@ SIX9z)06${fbc Tkw[/d[^zSCz>3syI-na]RH6rh+V fwt{;o"|,*}OF)Iܓ.*'r:ddP{Q~4}p'D/_v{.VnR#zS}J氈4c襪'F8TD||{9)W^-+B()[ڦA9);b??>J7rS8qF9K% %-Q yo6Š&k+8F q4r T̾A*Fz ;ua}aߵ5 %hy< P+Y{cW423L}Xb#}~}1P BeC0&MB h;[Anq*v\2d{%{6Gi<ߎU aƧ;Q_(q y[.mQhs qKB٩y(Ԁ?FVFh?<$-Ж|b?t7ޮ`LM 5hcZ6ivo"H}TP5pY҂TC;$)Wo-M_|Wh/ DbϦY[IG|\d(t젴 E9m'gJ$ZƷKW%/CћJ[aiKQS@Ah@dH Ts\RkEFby^1=yf(_*=;c3U+ZVܸaL3*4p$@Wbt$yJ3! 60j)91~_3]X&'*b5?8&v &];