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 VV/ 4 ]HOLCF-HOL-Library:threads=2elapsed=16.895cpu=29.440gc=1.316factor=1.747zXZִF! ]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,|WR``Ug4垐%2MV馨/*JZbBEٓu<T*|'5čJ Rr;>JH_$جϧ#sѹgpkb5ÂZp USy-6Kr ۖGg5ƩQ*Etb<Sba&w2_YjyYAWOԱp V{ / HOLCF-HOL-Librarycz' ' # 5a(uGM!K`#JjӦ-)k+Ix Jfch)|Y[b>80lkàPRIRBu/6 Y9'{3)/<\R{<7lw5$dɂH`4 ބ#:808t xU{S}cʇ%fK5A.@}QKښ-4|&kϲkl&d,!9QmOB+zD;wozMkѽ}$mX^E{ϭ?Gf5{%:uϵ%D%+2OECq$5wv˃0\u+rd$I/I;˄ٜ!a~Ud1*|T.,H$ 1C3d<Z9USV5TYY/BAQFhNrdҎHWkQ_'3{rFU+垔R\Uu,xsXMYTpSQIJ w>t˻"W&FI$s!`ă5>Uf`'t|-Q'62B_I.Nb8t?zgk =-v~ L!8HQqV N0a*Va.Y9j{tEB/`~L6/Z4nUo }AwpBKGQxgmȧ:dQ})"[|láSP Rɹ-WwsP\s22@Š'}tk 4[iaM+0ʢM^ 2-ЭVջ3EZFvV&2HkKĢ&&ˎȬo]l쿗̘#6]P7Pl㿛aľ&zR~' <`=ߵMF"+32?X/\TPk % /؇{)hp&U=JI?Pg8?s7j ̹FlKrľq/ D]'i@JYESڸCf 1eEpgՠXdC a'>Hk̸7Mvxb*oX@LGBf5fcr'W[!f\U$PJ*K'ˁo=4;VvIeb-x0H&%L*bO~o|A. 4Mcօ._U:v`7Chn^Ӄ <4>"/}97[yh>2ZxbAUٓ]éOְ <^OOdz#nN_@N$Xy ƿ~7j>ΈZS".p"Ǭ"Zc\P=q<О\I/LB̛](G?rO`9~AB`&Q}K'R-[\H f像X3[^Dpd)E.؀Aͬ/'ѷ:۲CY%9)aGGh*aàon8I<;SȯPBdYQhg`>&Wl7m59=3p6aS'~4%SehVc=_@畤$yׅj^0H=ΉZ oE/$}idXH]E1dMJ5*h%1ƜX9hVP;5Bp s3 ʨ :VǁvFW&zV\eKEr룝Nzql[ h޳! #]y"eu v,#=}GBC2;c-(Ϧ16NƂw_&Ń/ iG2W+&vVZ'~"TiDf߮6WWTJ0[#KgP͎¢IC˧Ma9wrU -;"K+Nm7XA;jI9,AӵLM€pϿR9,"R(7l7c  :-h=ܱ+󷕴_#t] %!23[~84SN-7g.+sllk絻G mVf3Li.h*@)nΌeSnrq@O'y#q?Wa,+%Od">n9Џ%poAZ<7).RmL<-؛蜠[5D끞Zb&WdY&Kr;5Рup]ff{c)n[ DS=@ X! +v44aCy Mz"$~bq7^~3ظr`fر6֍-}ԛ3/i!IgYZ7zXZִF! M]ŗXi% fW uuC @LKr V`e&.;ZWЙ'[K"2xG֪߳7Jxo`8AF"Lt.qm.6N ց05d½)}Lw}!7yum (yJ qؽ/xf-um*Q##"ce0NN3yGMvi"L8 qCK%,Oexl*T2Z5ɕkφxZ~hcTqWd1}!EjO|. `Z\wftN "FQi;ak:4j{^x} lHNL3Bչq&}H4|*Q i҇N&yy H'=*O*Ei`z".b"֛ ۊ$((p 4Aj=Exl q~#Wy3 5tIt]ܽ癈 ėۃ扔$p=}.G!vOʛvq@[X N*~z$ӿn]}罰brdUkHG0iQ95Yq8PA{7|%Gω\ j۠B;?S<)/qm (JᅃL|k %2CcDdv8Q|@́| @ P/2a۞@s곣ziK|@rڋuKriTOq+R6aqp ”,KD {n8ؒFni)D|! tƪA/m^k`.@J;y!Ź {."V*]+u f 2 sЄ4U|ʠUL˃c뤯cwzan ̈́El~c1/^=@_ %g)ӌ/q?ESJv= +Ok3 +M0}硥YQ^\ פT/#S5AгA^D^.%yE=$ S*709,'e ;<jG侢FU3G bd|IAײJߜy]4r-"Oy7W_9pv,}aֳ  /[1gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 5115babcf82b51329a1890394e7d219241d1cfc9 5f3249c9a2080df051ec979e03e69f7b6c37b568 6a1b07b082500f00f6c3b1326fbbeedb536bae44 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f ad3e0430353cf9dd719486ae796d190d5e13f04d b9c5555005d2457d66592f71382507c4831b3f89 ba89c189fd2a20d1fa2e91663084d1792cb79ca9 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d4a744693dde4b2b4dcd1b586a909e4d25f5abd63b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 00a03cd303df83fea9bfc7c21030d3fe219cadcda47353aa8e596d87a39040bdd7f5609f303c7051