SQLite format 3@ . BBh77otableisabelle_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  ' t, ] HOL-MicroJava:threads=6elapsed=57.549cpu=250.460gc=8.096factor=4.357zXZִF! ࢱ ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NAg`Mz̜gx < TO}\(:sbwErƯOjjNb [DIpGoj"L"nwUpqJXW60X&6꼘347au`{kRp' '0WF Tno8㊴9 `ߎhdjo} h hU9 "9=.(ՠ'ĻUs%Q-U?BV40*ٝ(R y64|u< ,Udꦽ5xwHn;m`C`f%w]t M6zp3cSwvEB ϊ&_Sxyq)٫Qmx<h $49SZ tHx  P%?Bd bÝ)?ў:KSFGǗr+^޵?JޮnEK8Q+{_w"e. .TBeK(&޸zh5 }zn?j\6l #m ._?D8S7!' `э)'}JT#^YU(fgul&~l.G/<ʇLRQR) mTIvF!H(ꅄK`o-1u/LxB,/O I̍ 0wNבݟWeh]-3(h:t9Yt tלaTBc͵M2ncHY4Y<ɏ쏢#@AR)y_e:/\ EYסsE)(Sg ʆ#9p-ˈ8H%gm,hW1'!u!%) =4t=JZI|%_x+?=,q&9 ^ŨYSMPycI+0*Q}ɻ3' FOrFف ,d,L C~s9ӳƠײkIfw0ێ".dzڍn/zC7C]TUe 2i0[]{b\I/N N<ՎfK*,JoJmEW8gh Ml<m?,N6Td(J c?Hr"a.yxmp0NV Qw;]QǬ" X<_0uZ t4lX["d7Hs&.0H`PM;-v,*ٖ)(_Mt~$>W;3Pv3,dV<`سĠt7܊eS7]AYuA89%󗁕4։><鉶e^8rN%I/K4V)PfwOpԗ6D .b(rhuTnX>>Sd#@CpR?u4,e!mU t[ WU1?'^P ARCgYZ7zXZִF!  ]ŗXiɟ1%c\aE>A}hNIӓ 2T'qMآ:D%rO8p=^<3A\GU 5] E)ޱ8FTn:(ťZjB.0'hծ 2{W!?4Q T|J}ͦ7MɆ^p9zzҠTXe8$J  Ah 6F+$~GtE( # fse:/Z1}0HE1P''>tt4&Ƒ TVYևgN/Tse؁Q&jF& IJ![,gNFg G舊XO XcB}hgRȰ&>V%z4">E !k=z5V7'>wË.:AUSVkr&r'bغpb0>i e ShY&ރˎ6j| XN'dxxO Vc>8% 12ΞlCGr3`@3WMG9km8ۖ c<5Vz<[Ȕ"PLYT^@w#+e )HG_x•V3wz^%a|8(HeXiʡ{,?bB #;tL7ߐ56@ar1ʃ(!u  f";v1!U䩃Ýp1kv]]M!εEtv%e^}|P?w8ot}/Z{m^&p^*o&;FuQ5S |ݱ׀oOQ rD.orHWTo# n>#18 (m/UF#1nM{Ћő0.m!3,-vP5ɝcz(^oFGY{ \'QD0e;ؑx}X6^%kKR nS>^4olH=gV> /mq^ق$ٔ?{VNajh##*h?,Zk"8}4sDpiCU(ҲZ=j7Z쯸i_eCq>ez]WW]z1\f{(W+|#EP00U+ TT,>>˨(G'|̺+=i s7 Ir jUrhL^F:]Q7tA3-)a]ImaEsҏ􁰿 0E7,5˕]SM[8NSv-/F( Rn.-I0{/{b,*w)+!>Z$OFK'Pk5xA+@e\)__;,!+ t_#ǫpeh8JXV*]@HL&#u7.B~]ۛ y"zYUlA[? >1 9y274hTe ppnJɓh KiNγX;#^:H-&&Q|R~h6R003MuUKoc= I*t]{u=`]p`P& V%$`ǣe,^pt{_xQ_{-I|l(z gjs^XΔ,0 Z~MS] 6BǑ J5ZCPe؝fP_2Z=V^+15ywFLz|Moǫ# lBt.GmΘSeUdYI`k3DR6SM3h^6J$͔ ڹEz] KFPY,4 _l;#3$J#+x&u9 b+P)+ rU+!hCe.Hmz8V6^kwsz?ҭtdG9 1uxϰuqw(kC J֯2dUȝɜ90)A8Bd?!AjȾ oX +}<gC=stǁMIpJmU:kVBNDz-2¹ቯ-KӿpE SYKBOD'vP TTCΖMl+;fDI3zU~Vsbj)Yޒ̗fE>uS, Eg0QkWr3$ ZNwqFc UB*O3/B~J®=M E"Cٚ#ptt~B7+ϲl ( !`a\[aFe {"lj[HlG 8)56zXP)j4@w@{Ga)k!oPgXqfhBIEz:KkBY]CުVXmlTsűCNdE:al;A;q.|+eCQFP5Vw/s>lc"4~9}'J8HYQr:0?sw ZK |Av'!x}"T)R]hFJ3}Lӯ۪v @ֿﱫs'( n-sE[9<^_#BH{Dr~u?Pmm{-?8><.9`blRh_n;|7՛M;0g#%YWFDp`RDroU{?k'ɪ ]?t!{Mzi4A蹞J3\P\.[g|7wZulH2./&W8 ޴|b;OJBY*`p2-Z "jQ2ꄚ:ڨ@VIS#-ԽY)kE'3Wm,YKԉK$ ׫cjz(/8GTK-X~=urTzB 9RG&gfRiKLϭz+{C2Aɭ:_ʀ3Pw*]#s*@M(7mGQݾtpZ7X_$6S4Sd A7r=J}+:H-}9rΰP} xh8Ԉ(.o۠t˟L#̝ֆgYZe30a3ff7a64f12a54c1d274b62c1cec59e56baae0368d846b91517e6bfc74b22aa4589a14a64f868 42798967e97a29eaa625d2ed2073e7fc3fcc184c 680c999822779f6c5360ad6bcf5fd641b0fc1344